CSPM.Desugar

Documentation

class Desugarable a where

Methods

desugar :: a -> a

desugarWithType :: a -> Type -> a

Instances

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)