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] 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, ghc-prim, mono-traversable, symantic-document, symantic-grammar, text, transformers [details]
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-02T14:13:26Z
Distributions NixOS:6.3.4.20190712
Downloads 3624 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2017-07-02 [all 3 reports]

Modules

  • Language
    • 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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees