symantic: Library for Typed Tagless-Final Higher-Order Composable DSL

[ gpl, language, library ] [ Propose Tags ]

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.

Versions [faq],,,,,,,
Dependencies base (>=4.6 && <5), containers, mono-traversable, symantic-document, symantic-grammar, text, transformers [details]
License GPL-3.0-only
Author Julien Moutinho <>
Maintainer Julien Moutinho <>
Category Language
Bug tracker Julien Moutinho <>
Source repo head: git clone git://
Uploaded by julm at 2017-07-03T15:40:42Z
Distributions NixOS:
Downloads 3624 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2017-07-03 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees