DDC.Source.Tetra.Transform.Guards

Desugaring Source Tetra guards to simple case-expressions.

Documentation

desugarGuards

Arguments

:: GAnnot (Annot a)

Annotation.

-> [GGuardedExp (Annot a)]

Guarded expressions to desugar.

-> GExp (Annot a)

Failure action.

-> GExp (Annot a)

Desugar some guards to a case-expression. At runtime, if none of the guards match then run the provided fail action.