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