3 maintainer: mailto:symantic-base@sourcephile.fr
4 bug-reports: https://mails.sourcephile.fr/inbox/symantic-base
5 homepage: https://git.sourcephile.fr/haskell/symantic-base
6 author: Julien Moutinho <julm+symantic-base@sourcephile.fr>
7 copyright: Julien Moutinho <julm+symantic-base@sourcephile.fr>
8 license: AGPL-3.0-or-later
9 license-file: LICENSES/AGPL-3.0-or-later.txt
11 -- PVP: +-+------- breaking API changes
12 -- | | +----- non-breaking API additions
13 -- | | | +--- code changes with no API change
14 version: 0.5.0.20221122
15 stability: experimental
16 category: Data Structures
18 Basic symantic combinators for Embedded Domain-Specific Languages (EDSL)
21 This is a work-in-progress collection of basic tagless-final combinators,
22 along with some advanced utilities to exploit them.
23 * @Symantic.Syntaxes.Classes@
24 gathers commonly used tagless-final combinators
25 (the syntax part of symantics).
26 * @Symantic.Syntaxes.Data@ interprets combinators as data constructors
27 enabling to pattern-match on combinators while keeping their extensibility.
28 * @Symantic.Syntaxes.Derive@
29 to give a default value to combinators which avoids boilerplate code
30 when implementing combinators for an interpreter is factorizable.
31 * @Symantic.Syntaxes.ADT@
32 enables to derive reciprocal functions between
33 algebraic data type constructors and @Either@s of tuples.
34 * @Symantic.Syntaxes.CurryN@
35 gathers utilities for currying or uncurrying tuples
36 of size greater or equal to two.
37 * @Symantic.Semantics.SharingObserver@
38 interprets combinators to observe @let@ definitions
39 at the host language level (Haskell),
40 effectively turning infinite values into finite ones,
41 which is useful for example to inspect
42 and optimize recursive grammars.
43 Inspired by Andy Gill's [Type-safe observable sharing in Haskell](https://doi.org/10.1145/1596638.1596653).
44 For an example, see [symantic-parser](https://hackage.haskell.org/package/symantic-parser).
45 * @Symantic.Semantics.Viewer@
46 interprets combinators as human-readable text.
47 * @Symantic.Semantics.Viewer.Fixity@
48 gathers utilities for parsing or viewing
49 infix, prefix and postfix combinators.
50 * @Symantic.Syntaxes.Reader@
51 is an intermediate interpreter enabling to change
52 the syntax combinators using an environment.
53 * @Symantic.Utils.Reify@
54 enables the lifting to any interpreter
55 of any Haskell functions taking as arguments
56 only polymorphic types (possibly constrained)
57 or functions using such types.
58 Inspired by Oleg Kiselyov's [TDPE.hs](http://okmij.org/ftp/tagless-final/course/TDPE.hs).
61 tested-with: GHC ==8.10.4
62 extra-doc-files: ChangeLog.md
72 source-repository head
74 location: git://git.sourcephile.fr/haskell/symantic-base
81 Symantic.Semantics.Reader
82 Symantic.Semantics.SharingObserver
83 Symantic.Semantics.Viewer
84 Symantic.Semantics.Viewer.Fixity
87 Symantic.Syntaxes.Classes
88 Symantic.Syntaxes.CurryN
89 Symantic.Syntaxes.Data
90 Symantic.Syntaxes.Derive
91 Symantic.Syntaxes.Reify
93 default-language: Haskell2010
99 GeneralizedNewtypeDeriving
102 MultiParamTypeClasses
112 -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
113 -Wpartial-fields -fprint-potential-instances
121 , unordered-containers