ddc-source-tetra-0.4.2.1: ddc-source-tetra.cabal

Name:           ddc-source-tetra
Version:        0.4.2.1
License:        MIT
License-file:   LICENSE
Author:         The Disciplined Disciple Compiler Strike Force
Maintainer:     Ben Lippmeier <benl@ouroborus.net>
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.9,
        array            >= 0.4   && < 0.6,
        deepseq          >= 1.3   && < 1.5,
        containers       == 0.5.*,
        text             >= 1.0   && < 1.3,
        transformers     == 0.4.*,
        mtl              == 2.2.1.*,
        ddc-base         == 0.4.2.*,
        ddc-core         == 0.4.2.*,
        ddc-core-salt    == 0.4.2.*,
        ddc-core-tetra   == 0.4.2.*

  Exposed-modules:
        DDC.Source.Tetra.Exp.Annot
        DDC.Source.Tetra.Exp.Generic

        DDC.Source.Tetra.Transform.BoundX
        DDC.Source.Tetra.Transform.Defix
        DDC.Source.Tetra.Transform.Expand
        DDC.Source.Tetra.Transform.Guards

        DDC.Source.Tetra.Compounds
        DDC.Source.Tetra.Convert
        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

  Other-modules:
        DDC.Source.Tetra.Convert.Error

        DDC.Source.Tetra.Parser.Atom
        DDC.Source.Tetra.Parser.Exp
        DDC.Source.Tetra.Parser.Module
        DDC.Source.Tetra.Parser.Param
        DDC.Source.Tetra.Parser.Witness

        DDC.Source.Tetra.Prim.Base
        DDC.Source.Tetra.Prim.OpArith
        DDC.Source.Tetra.Prim.OpError
        DDC.Source.Tetra.Prim.OpFun
        DDC.Source.Tetra.Prim.OpVector
        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:
        NoMonomorphismRestriction
        MultiParamTypeClasses
        ScopedTypeVariables
        StandaloneDeriving
        FlexibleInstances
        FlexibleContexts
        ParallelListComp
        ConstraintKinds
        PatternSynonyms
        EmptyDataDecls
        KindSignatures
        PatternGuards
        BangPatterns
        RankNTypes