CSPM.Desugar

Documentation

class Desugarable a where

Methods

desugar :: a -> a

desugarWithType :: a -> Type -> a

Instances

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)