DDC.Core.Exp.Simple.Exp

Expressions

data Exp a n

data Cast a n

data Lets a n

data Alt a n

data Pat n

Witnesses

data Witness a n

Data Constructors

data DaCon n

Witness Constructors

data WiCon n