symantic-base.cabal

   1 cabal-version: 3.0
   2 name: symantic-base
   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
  10 -- PVP:  +-+------- breaking API changes
  11 --       | | +----- non-breaking API additions
  12 --       | | | +--- code changes with no API change
  13 version: 0.5.0.20220305
  14 stability: experimental
  15 category: Data Structures
  16 synopsis: Basic symantic combinators for Embedded Domain-Specific Languages (EDSL)
  17 description:
  18   This is a work-in-progress collection of basic tagless-final combinators,
  19   along with some advanced utilities to exploit them.
  20
  21   * @Symantic.Classes@
  22     gathers commonly used tagless-final combinators
  23     (the syntax part of symantics).
  24   * @Symantic.Data@ interprets combinators as data constructors
  25     enabling to pattern-match on combinators while keeping their extensibility.
  26   * @Symantic.Derive@
  27      to give a default value to combinators which avoids boilerplate code
  28     when implementing combinators for an interpreter is factorizable.
  29   * @Symantic.SharingObserver@
  30     interprets combinators to observe @let@ definitions at the host language level (Haskell),
  31     effectively turning infinite values into finite ones,
  32     which is useful for example to inspect and optimize recursive grammars.
  33     Inspired by Andy Gill's [Type-safe observable sharing in Haskell](https://doi.org/10.1145/1596638.1596653).
  34     For an example, see [symantic-parser](https://hackage.haskell.org/package/symantic-parser).
  35   * @Symantic.Reify@
  36     enables the lifting to any interpreter
  37     of any Haskell functions taking as arguments
  38     only polymorphic types (possibly constrained)
  39     or functions using such types.
  40     Inspired by Oleg Kiselyov's [TDPE.hs](http://okmij.org/ftp/tagless-final/course/TDPE.hs).
  41   * @Symantic.Viewer@
  42     interprets combinators as human-readable text.
  43   * @Symantic.ADT@
  44     enables to derive reciprocal functions between
  45     algebraic data type constructors and @Either@s of tuples.
  46   * @Symantic.CurryN@
  47     gathers utilities for currying or uncurrying tuples
  48     of size greater or equal to two.
  49   * @Symantic.Fixity@
  50     gathers utilities for parsing or viewing
  51     infix, prefix and postfix combinators.
  52 build-type: Simple
  53 tested-with: GHC==8.10.4
  54 extra-doc-files:
  55   ChangeLog.md
  56 extra-source-files:
  57   cabal.project
  58   .envrc
  59   flake.lock
  60   flake.nix
  61   Makefile
  62 extra-tmp-files:
  63
  64 source-repository head
  65   type: git
  66   location: git://git.sourcephile.fr/haskell/symantic-base
  67
  68 library
  69   hs-source-dirs: src
  70   exposed-modules:
  71     Symantic
  72     Symantic.ADT
  73     Symantic.Classes
  74     Symantic.CurryN
  75     Symantic.Data
  76     Symantic.Derive
  77     Symantic.Fixity
  78     Symantic.Optimize
  79     Symantic.Reader
  80     Symantic.Reify
  81     Symantic.SharingObserver
  82     Symantic.Viewer
  83   default-language: Haskell2010
  84   default-extensions:
  85     DefaultSignatures
  86     FlexibleContexts
  87     FlexibleInstances
  88     GeneralizedNewtypeDeriving
  89     LambdaCase
  90     MultiParamTypeClasses
  91     NamedFieldPuns
  92     NoImplicitPrelude
  93     RecordWildCards
  94     ScopedTypeVariables
  95     TupleSections
  96     TypeApplications
  97     TypeFamilies
  98     TypeOperators
  99   ghc-options:
 100     -Wall
 101     -Wincomplete-uni-patterns
 102     -Wincomplete-record-updates
 103     -Wpartial-fields
 104     -fprint-potential-instances
 105   build-depends:
 106     base >= 4.10 && < 5,
 107     containers,
 108     hashable,
 109     template-haskell,
 110     transformers,
 111     unordered-containers