| Safe Haskell | None |
|---|
CSPM.Desugar
Documentation
class Desugarable a whereSource
Instances
| Desugarable Literal | |
| Desugarable Type | |
| Desugarable SemanticProperty | |
| Desugarable Model | |
| 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 (InteractiveStmt Name) | |
| Desugarable (Stmt Name) | |
| Desugarable (Field Name) | |
| Desugarable (Exp Name) | |
| Desugarable (CSPMFile Name) | |
| (Desugarable a, Desugarable b) => Desugarable (a, b) | |
| Desugarable a => Desugarable (Annotated () a) | |
| Desugarable a => Desugarable (Annotated (Maybe Type, PType) a) |
runDesugar :: MonadIO m => DesugarMonad a -> m aSource