<commit_before>homepage: ''
changelog-type: ''
hash: 57384c7cb02373ceacb59ec2ee62aa4ed3d7ed6b26b60e0b539f41556a708069
test-bench-deps: {}
maintainer: <NAME> <<EMAIL>>
synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
changelog: ''
basic-deps:
  symantic-document: ! '>=1.0'
  symantic-grammar: -any
  base: ! '>=4.6 && <5'
  text: ! '>=1.2'
  containers: ! '>=0.5'
  transformers: ! '>=0.5'
  mono-traversable: ! '>=1.0'
all-versions:
- 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
author: <NAME> <<EMAIL>>
latest: 6.3.3.20190614
description-type: markdown
description: "# symantic\n\nThis is an experimental library for composing, parsing,
  typing, compiling, transforming and interpreting\na custom DSL (Domain-Specific
  Language).\n\n# Features\n\nThose custom DSL can express a subset of GHC's Haskell
  type system:\n\n* *first class functions* (aka. *lambdas*),\n* chosen *monomorphic
  types* (like `Bool` or `Maybe`),\n* chosen *rank-1 polymorphic types* (like `(Maybe
  a)`),\n* chosen *type class instances*,\n* chosen *type family instances*,\n* and
  chosen *type constraints*;\n\nwhere \"chosen X\" means declared in Haskell\nand
  selected when composing the DSL.\n\nIn particular, this library is currently not
  able to:\n\n* do *type inferencing* for the argument of *lambdas*\n  (they must
  all be explicitely annotated, aka. *Church-style*),\n* do *pattern matching* (aka.
  *case*) (but *Church-encoding* functions are often enough),\n* do *rank-N polymorphic
  types* (aka. *non-prenex forall*, like `(forall s. ST s a) -> a`).\n\nAnd by itself,
  the DSL is only able to define new terms to be interpreted,\nno new types, or other
  type-level structures.\n\n# Warning\n\nPlease be aware that despite its using of<commit_msg>Update from Hackage at 2019-07-12T21:31:52Z<commit_after>homepage: ''
changelog-type: ''
hash: a9492013bfbbce9e4a5b63e841becba8189adfadc13c4f78e61d69045161b99c
test-bench-deps: {}
maintainer: <NAME> <<EMAIL>>
synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
changelog: ''
basic-deps:
  symantic-document: ! '>=1.5'
  symantic-grammar: -any
  base: ! '>=4.6 && <5'
  text: ! '>=1.2'
  containers: ! '>=0.5'
  transformers: ! '>=0.5'
  mono-traversable: ! '>=1.0'
all-versions:
- 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
author: <NAME> <<EMAIL>>
latest: 6.3.4.20190712
description-type: markdown
description: "# symantic\n\nThis is an experimental library for composing, parsing,
  typing, compiling, transforming and interpreting\na custom DSL (Domain-Specific
  Language).\n\n# Features\n\nThose custom DSL can express a subset of GHC's Haskell
  type system:\n\n* *first class functions* (aka. *lambdas*),\n* chosen *monomorphic
  types* (like `Bool` or `Maybe`),\n* chosen *rank-1 polymorphic types* (like `(Maybe
  a)`),\n* chosen *type class instances*,\n* chosen *type family instances*,\n* and
  chosen *type constraints*;\n\nwhere \"chosen X\" means declared in Haskell\nand
  selected when composing the DSL.\n\nIn particular, this library is currently not
  able to:\n\n* do *type inferencing* for the argument of *lambdas*\n  (they must
  all be explicitely annotated, aka. *Church-style*),\n* do *pattern matching* (aka.
  *case*) (but *Church-encoding* functions are often enough),\n* do *rank-N polymorphic
  types* (aka. *non-prenex forall*, like `(forall s. ST s a) -> a`).\n\nAnd by itself,
  the DSL is only able to define new terms to be interpreted,\nno new types, or other
  type-level structures.\n\n# Warning\n\nPlease be aware that despite its using of
{'fraction_non_alphanumeric': 0.14687751273117128, 'fraction_numerical': 0.08147949611364246, 'mean_word_length': 4.147586206896552, 'pattern_counts': {'":': 0, '<': 17, '<?xml version=': 0, '>': 29, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 17, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4408058', 'n_tokens_mistral': 1573, 'n_tokens_neox': 1359, 'n_words': 398}