Language.Hakaru.Syntax.Datum

Data constructors

data Datum

datumHint

datumType

data DatumCode

data DatumStruct

data DatumFun

Some smart constructors for the "built-in" datatypes

dTrue

dFalse

dUnit

dPair

dLeft

dRight

dNil

dCons

dNothing

dJust

Variants which allow explicit type passing.

dPair_

dLeft_

dRight_

dNil_

dCons_

dNothing_

dJust_

Pattern constructors

data Branch a abt b

data Pattern

data PDatumCode

data PDatumStruct

data PDatumFun

Some smart constructors for the "built-in" datatypes

pTrue

pFalse

pUnit

pPair

pLeft

pRight

pNil

pCons

pNothing

pJust

Generalized branches

data GBranch a r