symantic: Library for Typed Tagless-Final Higher-Order Composable DSL
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.
Modules
[Index]
- Language
- Language.Symantic
- Language.Symantic.Compiling
- Language.Symantic.Interpreting
- Language.Symantic.Transforming
- 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
- Language.Symantic
Downloads
- symantic-6.3.0.20170703.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 6.0.0.20170623, 6.2.0.20170702, 6.3.0.20170703, 6.3.0.20170807, 6.3.1.20180213, 6.3.2.20180208, 6.3.3.20190614, 6.3.4.20190712 |
---|---|
Dependencies | base (>=4.6 && <5), containers, mono-traversable, symantic-document, symantic-grammar, text, transformers [details] |
Tested with | ghc ==8.0.2 |
License | GPL-3.0-only |
Author | Julien Moutinho <julm+symantic@autogeree.net> |
Maintainer | Julien Moutinho <julm+symantic@autogeree.net> |
Category | Language |
Bug tracker | Julien Moutinho <julm+symantic@autogeree.net> |
Source repo | head: git clone git://git.autogeree.net/symantic |
Uploaded | by julm at 2017-07-03T15:40:42Z |
Distributions | |
Reverse Dependencies | 1 direct, 1 indirect [details] |
Downloads | 4159 total (9 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2017-07-03 [all 1 reports] |