author: Julien Moutinho <julm+symantic@autogeree.net>
bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
build-type: Simple
cabal-version: >= 1.24
category: Language
description: This is an experimental library for composing, parsing,
             typing, compiling, transforming and interpreting
             a custom DSL (Domain-Specific Language)
             expressing a subset of GHC's Haskell type system.
extra-source-files:
extra-tmp-files:
-- homepage: 
license: GPL-3
license-file: COPYING
maintainer: Julien Moutinho <julm+symantic@autogeree.net>
name: symantic
stability: experimental
synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
tested-with: GHC==8.0.2
-- PVP:  +-+------- breaking API changes
--       | | +----- non-breaking API additions
--       | | | +--- code changes with no API change
version: 6.2.0.20170702

Source-Repository head
  location: git://git.autogeree.net/symantic
  type:     git

Library
  default-extensions:
    DataKinds
    DefaultSignatures
    FlexibleContexts
    FlexibleInstances
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    Rank2Types
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
  ghc-options: -Wall
               -fno-warn-tabs
  default-language: Haskell2010
  exposed-modules:
    Language.Symantic
    Language.Symantic.Compiling
    Language.Symantic.Compiling.Beta
    Language.Symantic.Compiling.Grammar
    Language.Symantic.Compiling.Module
    Language.Symantic.Compiling.Read
    Language.Symantic.Compiling.Term
    Language.Symantic.Interpreting
    Language.Symantic.Interpreting.Dup
    Language.Symantic.Interpreting.Eval
    Language.Symantic.Interpreting.View
    Language.Symantic.Transforming
    Language.Symantic.Transforming.Beta
    Language.Symantic.Transforming.Trans
    Language.Symantic.Typing
    Language.Symantic.Typing.Document
    Language.Symantic.Typing.Grammar
    Language.Symantic.Typing.Kind
    Language.Symantic.Typing.List
    Language.Symantic.Typing.Module
    Language.Symantic.Typing.Peano
    Language.Symantic.Typing.Read
    Language.Symantic.Typing.Show
    Language.Symantic.Typing.Type
    Language.Symantic.Typing.Unify
    Language.Symantic.Typing.Variable
  build-depends:
    base >= 4.6 && < 5
    , containers
    , ghc-prim
    , mono-traversable
    , symantic-grammar
    , symantic-document
    , transformers
    , text