name: symantic
-- PVP:  +-+------- breaking API changes
--       | | +----- non-breaking API additions
--       | | | +--- code changes with no API change
version: 6.3.2.20181109
synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
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-doc-files: README.md
category: Language
license: GPL-3
license-file: COPYING
stability: experimental
author:      Julien Moutinho <julm+symantic@autogeree.net>
maintainer:  Julien Moutinho <julm+symantic@autogeree.net>
bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
-- homepage:

build-type: Simple
cabal-version: >= 1.24
tested-with: GHC==8.4.4
extra-source-files:
  stack.yaml
extra-tmp-files:

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

Library
  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
  default-language: Haskell2010
  default-extensions:
    DataKinds
    DefaultSignatures
    FlexibleContexts
    FlexibleInstances
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    OverloadedStrings
    Rank2Types
    ScopedTypeVariables
    StandaloneDeriving
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators
  ghc-options:
    -Wall
    -Wincomplete-uni-patterns
    -Wincomplete-record-updates
    -fno-warn-tabs
    -fhide-source-paths
  build-depends:
      symantic-grammar
    , symantic-document
    , base             >= 4.6 && < 5
    , containers       >= 0.5
    , mono-traversable >= 1.0
    , transformers     >= 0.5
    , text             >= 1.2