symantic/symantic.cabal

   1 author: Julien Moutinho <julm+symantic@autogeree.net>
   2 bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
   3 build-type: Simple
   4 cabal-version: >= 1.24
   5 category: Language
   6 description: This is an experimental library for composing, parsing,
   7              typing, compiling, transforming and interpreting
   8              a custom DSL (Domain-Specific Language)
   9              expressing a subset of GHC's Haskell type system.
  10 extra-source-files:
  11 extra-tmp-files:
  12 -- homepage:
  13 license: GPL-3
  14 license-file: COPYING
  15 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
  16 name: symantic
  17 stability: experimental
  18 synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
  19 tested-with: GHC==8.0.2
  20 -- PVP:  +-+------- breaking API changes
  21 --       | | +----- non-breaking API additions
  22 --       | | | +--- code changes with no API change
  23 version: 6.2.0.20170702
  24
  25 Source-Repository head
  26   location: git://git.autogeree.net/symantic
  27   type:     git
  28
  29 Library
  30   default-extensions:
  31     DataKinds
  32     DefaultSignatures
  33     FlexibleContexts
  34     FlexibleInstances
  35     LambdaCase
  36     MultiParamTypeClasses
  37     NamedFieldPuns
  38     OverloadedStrings
  39     Rank2Types
  40     ScopedTypeVariables
  41     StandaloneDeriving
  42     TupleSections
  43     TypeApplications
  44     TypeFamilies
  45     TypeOperators
  46   ghc-options: -Wall
  47                -fno-warn-tabs
  48   default-language: Haskell2010
  49   exposed-modules:
  50     Language.Symantic
  51     Language.Symantic.Compiling
  52     Language.Symantic.Compiling.Beta
  53     Language.Symantic.Compiling.Grammar
  54     Language.Symantic.Compiling.Module
  55     Language.Symantic.Compiling.Read
  56     Language.Symantic.Compiling.Term
  57     Language.Symantic.Interpreting
  58     Language.Symantic.Interpreting.Dup
  59     Language.Symantic.Interpreting.Eval
  60     Language.Symantic.Interpreting.View
  61     Language.Symantic.Transforming
  62     Language.Symantic.Transforming.Beta
  63     Language.Symantic.Transforming.Trans
  64     Language.Symantic.Typing
  65     Language.Symantic.Typing.Document
  66     Language.Symantic.Typing.Grammar
  67     Language.Symantic.Typing.Kind
  68     Language.Symantic.Typing.List
  69     Language.Symantic.Typing.Module
  70     Language.Symantic.Typing.Peano
  71     Language.Symantic.Typing.Read
  72     Language.Symantic.Typing.Show
  73     Language.Symantic.Typing.Type
  74     Language.Symantic.Typing.Unify
  75     Language.Symantic.Typing.Variable
  76   build-depends:
  77     base >= 4.6 && < 5
  78     , containers
  79     , ghc-prim
  80     , mono-traversable
  81     , symantic-grammar
  82     , symantic-document
  83     , transformers
  84     , text