name: symantic -- PVP: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change version: 6.3.1.20180213 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 maintainer: Julien Moutinho bug-reports: Julien Moutinho -- homepage: build-type: Simple cabal-version: >= 1.24 tested-with: GHC==8.2.2 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