Safe Haskell | None |
---|---|
Language | Haskell2010 |
Term representation in the CoreHW language: System F + LetRec + Case
Documentation
Term representation in the CoreHW language: System F + LetRec + Case
Var Type TmName | Variable reference |
Data DataCon | Datatype constructor |
Literal Literal | Literal |
Prim Text Type | Primitive |
Lam (Bind Id Term) | Term-abstraction |
TyLam (Bind TyVar Term) | Type-abstraction |
App Term Term | Application |
TyApp Term Type | Type-application |
Letrec (Bind (Rec [LetBinding]) Term) | Recursive let-binding |
Case Term Type [Bind Pat Term] | Case-expression: subject, type of alternatives, list of alternatives |
Eq Term | |
Ord Term | |
Show Term | |
Generic Term | |
NFData Term | |
Alpha Term | |
Pretty Term | |
Typeable * Term | |
Subst Term Text | |
Subst Term TyCon | |
Subst Term Term | |
Subst Term Type | |
Subst Term TyVar | |
Subst Term Id | |
Subst Term DataCon | |
Subst Term AlgTyConRhs | |
Subst Term Literal | |
Subst Term Pat | |
Subst Term LitTy | |
Subst Term ConstTy | |
Subst Type Term | |
Subst Type Id | |
NFData (Name Term) | |
Pretty (Var Term) | |
Pretty (Id, Term) | |
type Rep Term |
type LetBinding = (Id, Embed Term) Source
Binding in a LetRec construct