symantic/symantic.cabal

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