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

Safe HaskellNone

DDC.Build.Language.Tetra

Description

The Tetra fragment has four base kinds: Data, Region, Effect, Witness and uses the S computation type to represent effects.

Synopsis

Documentation

language :: LanguageSource

Language definition for Disciple Core Tetra.

bundle :: Bundle Int Name ErrorSource

Language bundle for Disciple Core Tetra.

fragment :: Fragment Name ErrorSource

Fragement definition for Disciple Core Tetra.

data Error a Source

Constructors

Error 

Instances

Show (Error a) 
Pretty (Error a)