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