CSPM.TypeChecker.Compressor

Traverses the AST filling in all the type information, ensuring that each type is fully compressed.

Documentation

class Compressable a where

Methods

mcompress :: a -> TypeCheckMonad a

Map compress.

Instances

Compressable Literal

Compressable SemanticProperty

Compressable Model

Compressable a => Compressable [a]

Compressable a => Compressable (Maybe 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 (Module 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)