Name: ddc-source-tetra Version: 0.4.1.3 License: MIT License-file: LICENSE Author: The Disciplined Disciple Compiler Strike Force Maintainer: Ben Lippmeier Build-Type: Simple Cabal-Version: >=1.6 Stability: experimental Category: Compilers/Interpreters Homepage: http://disciple.ouroborus.net Synopsis: Disciplined Disciple Compiler source language. Description: Disciplined Disciple Compiler Tetra source language. Disciple Tetra is the main source language of DDC. The word Tetra refers to the four base kinds: 'Data', 'Region', 'Effect' and 'Witness'. Library Build-Depends: base >= 4.6 && < 4.8, array >= 0.4 && < 0.6, deepseq == 1.3.*, containers == 0.5.*, transformers == 0.4.*, mtl == 2.2.*, ddc-base == 0.4.1.*, ddc-core == 0.4.1.*, ddc-core-salt == 0.4.1.*, ddc-core-tetra == 0.4.1.* Exposed-modules: DDC.Source.Tetra.Transform.Expand DDC.Source.Tetra.Transform.Defix DDC.Source.Tetra.Compounds DDC.Source.Tetra.DataDef DDC.Source.Tetra.Env DDC.Source.Tetra.Exp DDC.Source.Tetra.Lexer DDC.Source.Tetra.Module DDC.Source.Tetra.Parser DDC.Source.Tetra.Predicates DDC.Source.Tetra.Pretty DDC.Source.Tetra.Prim DDC.Source.Tetra.ToCore Other-modules: DDC.Source.Tetra.Exp.Base DDC.Source.Tetra.Lexer.Lit DDC.Source.Tetra.Parser.Exp DDC.Source.Tetra.Parser.Module DDC.Source.Tetra.Parser.Param DDC.Source.Tetra.Prim.Base DDC.Source.Tetra.Prim.OpArith DDC.Source.Tetra.Prim.OpStore DDC.Source.Tetra.Prim.TyConPrim DDC.Source.Tetra.Prim.TyConTetra DDC.Source.Tetra.Transform.Defix.Error DDC.Source.Tetra.Transform.Defix.FixTable GHC-options: -Wall -fno-warn-orphans -fno-warn-missing-signatures -fno-warn-missing-methods -fno-warn-unused-do-bind Extensions: KindSignatures NoMonomorphismRestriction ScopedTypeVariables PatternGuards FlexibleContexts FlexibleInstances RankNTypes BangPatterns ParallelListComp