DDC.Build.Language.Zero

The Zero fragment has no features and no primops. It it provides the first order calculus, and is good for debugging.

Documentation

language :: Language

Language definitition for Disciple Core Zero.

bundle :: Bundle Int Name Error

Language bundle for Disciple Core Zero

fragment :: Fragment Name Error

Fragment definition for Disciple Core Eval.

data Name

Instances

Eq Name

Ord Name

Show Name

CompoundName Name

Pretty Name

NFData Name

data Error a

Instances

Show (Error a)

Pretty (Error a)