ddc-build-0.3.1.3: Disciplined Disciple Compiler build framework.

Safe HaskellNone

DDC.Build.Language.Lite

Description

The Lite fragment is a desugared version of Disciple Core that has all the polymorphism of System-F2 along with algebraic data types.

Synopsis

Documentation

language :: LanguageSource

Language definition for Disciple Core Lite.

bundle :: Bundle Int Name ErrorSource

Language bundle for Disciple Core Lite.

fragment :: Fragment Name ErrorSource

Fragement definition for Disciple Core Lite.

freshT :: Env Name -> Bind Name -> State Int NameSource

Create a new type variable name that is not in the given environment.

freshX :: Env Name -> Bind Name -> State Int NameSource

Create a new value variable name that is not in the given environment.