Documentation
class Desugarable a whereSource
desugarWithType :: a -> Type -> aSource
Desugarable Literal | |
Desugarable a => Desugarable [a] | |
Desugarable a => Desugarable (Maybe a) | |
Desugarable (Pat Name) | |
Desugarable (Match Name) | |
Desugarable (DataTypeClause Name) | |
Desugarable (ModelOption Name) | |
Desugarable (Assertion Name) | |
Desugarable (Decl Name) | |
Desugarable (InteractiveStmt Name) | |
Desugarable (Stmt Name) | |
Desugarable (Field Name) | |
Desugarable (Exp Name) | |
Desugarable (Module Name) | |
(Desugarable a, Desugarable b) => Desugarable (a, b) | |
Desugarable a => Desugarable (Annotated b a) | |
Desugarable a => Desugarable (Annotated Type a) |