Safe Haskell | None |
---|
Traverses the AST filling in all the type information, ensuring that each type is fully compressed.
Documentation
class Compressable a whereSource
mcompress :: a -> TypeCheckMonad aSource
Map compress.
Compressable Literal | |
Compressable SemanticProperty | |
Compressable Model | |
Compressable a => Compressable [a] | |
Compressable a => Compressable (Maybe a) | |
Compressable (STypeScheme a) | |
Compressable (Pat a) | |
Compressable (Match a) | |
Compressable (DataTypeClause a) | |
Compressable (ModelOption a) | |
Compressable (Assertion a) | |
Compressable (Decl a) | |
Compressable (InteractiveStmt a) | |
Compressable (Stmt a) | |
Compressable (Field a) | |
Compressable (Exp a) | |
Compressable (CSPMFile a) | |
(Compressable a, Compressable b) => Compressable (a, b) | |
Compressable a => Compressable (Annotated () a) | |
Compressable a => Compressable (Annotated (Maybe SymbolTable, PSymbolTable) a) | |
Compressable a => Compressable (Annotated (Maybe Type, PType) a) |