author: Julien Moutinho bug-reports: Julien Moutinho 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-doc-files: README.md extra-source-files: extra-tmp-files: -- homepage: license: GPL-3 license-file: COPYING maintainer: Julien Moutinho 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.3.0.20170807 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 , mono-traversable , symantic-grammar , symantic-document , transformers , text