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

Safe HaskellNone
LanguageHaskell98

DDC.Build.Language.Salt

Description

The Salt fragment contains just those features that can be easily mapped onto C or LLVM code.

Synopsis

Documentation

language :: Language Source #

Language definition for Disciple Core Salt.

bundle :: Bundle Int Name Error Source #

Language bundle for Disciple Core Salt.

fragment :: Fragment Name Error Source #

Fragment definition for Disciple Core Salt.

freshT :: Env Name -> Bind Name -> State Int Name Source #

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

freshX :: Env Name -> Bind Name -> State Int Name Source #

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