CLaSH.Core.Term

Term representation in the CoreHW language: System F + LetRec + Case

Documentation

data Term

Term representation in the CoreHW language: System F + LetRec + Case

Constructors

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

Instances

Eq Term

Ord Term

Show Term

Generic Term

NFData Term

Alpha Term

Pretty Term

Subst Term Term

Subst Term Type

Subst Term Pat

Subst Type Term

Generic b => Subst Term (Var b)

Pretty (Var Term)

Pretty (Id, Term)

type Rep Term

type TmName = Name Term

Term reference

type LetBinding = (Id, Embed Term)

Binding in a LetRec construct

data Pat

Patterns in the LHS of a case-decomposition

Constructors

DataPat !(Embed DataCon) !(Rebind [TyVar] [Id])

Datatype pattern, '[TyVar]' bind existentially-quantified type-variables of a DataCon

LitPat !(Embed Literal)

Literal pattern

DefaultPat

Default pattern

Instances

Eq Pat

Show Pat

Generic Pat

NFData Pat

Alpha Pat

Pretty Pat

Subst Term Pat

Subst Type Pat

type Rep Pat