Language.Haskell.TypeTree.ExampleDatatypes

Documentation

data CondTree v c a

Constructors

CondNode

Fields

• condTreeData :: a
• condTreeConstraints :: c
• condTreeComponents :: [CondBranch v c a]

data CondBranch v c a

Constructors

CondBranch

Fields

• condBranchCondition :: Condition v
• condBranchIfTrue :: CondTree v c a
• condBranchIfFalse :: Maybe (CondTree v c a)

data Condition c

Constructors

Var c

Lit Bool

CAnd (Condition c) (Condition c)