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.0.2
  21 -- PVP:  +-+------- breaking API changes
  22 --       | | +----- non-breaking API additions
  23 --       | | | +--- code changes with no API change
  24 version: 6.3.0.20170807
  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: -Wall
  48                -fno-warn-tabs
  49   default-language: Haskell2010
  50   exposed-modules:
  51     Language.Symantic
  52     Language.Symantic.Compiling
  53     Language.Symantic.Compiling.Beta
  54     Language.Symantic.Compiling.Grammar
  55     Language.Symantic.Compiling.Module
  56     Language.Symantic.Compiling.Read
  57     Language.Symantic.Compiling.Term
  58     Language.Symantic.Interpreting
  59     Language.Symantic.Interpreting.Dup
  60     Language.Symantic.Interpreting.Eval
  61     Language.Symantic.Interpreting.View
  62     Language.Symantic.Transforming
  63     Language.Symantic.Transforming.Beta
  64     Language.Symantic.Transforming.Trans
  65     Language.Symantic.Typing
  66     Language.Symantic.Typing.Document
  67     Language.Symantic.Typing.Grammar
  68     Language.Symantic.Typing.Kind
  69     Language.Symantic.Typing.List
  70     Language.Symantic.Typing.Module
  71     Language.Symantic.Typing.Peano
  72     Language.Symantic.Typing.Read
  73     Language.Symantic.Typing.Show
  74     Language.Symantic.Typing.Type
  75     Language.Symantic.Typing.Unify
  76     Language.Symantic.Typing.Variable
  77   build-depends:
  78     base >= 4.6 && < 5
  79     , containers
  80     , mono-traversable
  81     , symantic-grammar
  82     , symantic-document
  83     , transformers
  84     , text