This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commits

History for

Commits on Jul 3, 2020

Use fused-syntax for the failure syntax.
robrix
committed
197343e

Commits on Dec 10, 2019

Fix some old-style constraints.
robrix
committed
0c8aa34
Correct an import.
robrix
committed
fc8c818

Commits on Dec 6, 2019

No LambdaCase here.
Patrick Thomson
committed
7266ab0
Derive HFoldable instances for syntax types.
Patrick Thomson
committed
dd5cf21
Make Unimplemented store a String.
Patrick Thomson
committed
cb0e0ea

Commits on Dec 5, 2019

Lints.
Patrick Thomson
committed
16aa229
Forgot to insert this nice new type variable.
Patrick Thomson
committed
923664b
Generalize eliminateFailures to MonadFail.
Patrick Thomson
committed
7978318
Restore the original location of eliminateFailures.
Patrick Thomson
committed
6159318
Establish HTraversable instances for Core, Ann, and Failure.
Patrick Thomson
committed
1c735d4

Commits on Nov 14, 2019

Add eliminateFailures, even though it doesn't do what I want.
Patrick Thomson
committed
609ddb9

Commits on Nov 13, 2019

Add failure syntax.
Patrick Thomson
committed
14d7ba5

Loading