]> Git — Sourcephile - haskell/symantic-base.git/blob - symantic-base.cabal
iface: add many `Forall` instances
[haskell/symantic-base.git] / 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
11 -- PVP: +-+------- breaking API changes
12 -- | | +----- non-breaking API additions
13 -- | | | +--- code changes with no API change
14 version: 0.5.0.20221211
15 stability: experimental
16 category: Data Structures
17 synopsis:
18 Basic symantic combinators for Embedded Domain-Specific Languages (EDSL)
19
20 description:
21 This is a work-in-progress collection of basic tagless-final combinators,
22 along with some experimental utilities to exploit them.
23
24 build-type: Simple
25 tested-with: GHC ==8.10.4
26 extra-doc-files: ChangeLog.md
27 extra-source-files:
28 .envrc
29 cabal.project
30 flake.lock
31 flake.nix
32 Makefile
33
34 extra-tmp-files:
35
36 source-repository head
37 type: git
38 location: git://git.sourcephile.fr/haskell/symantic-base
39
40 library
41 hs-source-dirs: src
42 exposed-modules:
43 Symantic
44 Symantic.Semantics
45 Symantic.Semantics.Data
46 Symantic.Semantics.Forall
47 Symantic.Semantics.Identity
48 Symantic.Semantics.Reader
49 Symantic.Semantics.SharingObserver
50 Symantic.Semantics.Viewer
51 Symantic.Semantics.Viewer.Fixity
52 Symantic.Syntaxes
53 Symantic.Syntaxes.Classes
54 Symantic.Syntaxes.CurryN
55 Symantic.Syntaxes.Derive
56 Symantic.Syntaxes.EithersOfTuples
57 Symantic.Syntaxes.Reify
58 Symantic.Syntaxes.TuplesOfFunctions
59
60 default-language: Haskell2010
61 default-extensions:
62 NoImplicitPrelude
63 DefaultSignatures
64 FlexibleContexts
65 FlexibleInstances
66 GeneralizedNewtypeDeriving
67 ImportQualifiedPost
68 LambdaCase
69 MultiParamTypeClasses
70 NamedFieldPuns
71 RecordWildCards
72 ScopedTypeVariables
73 TupleSections
74 TypeApplications
75 TypeFamilies
76 TypeOperators
77
78 ghc-options:
79 -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
80 -Wpartial-fields -fprint-potential-instances
81
82 build-depends:
83 , base >=4.10 && <5
84 , containers
85 , hashable
86 , template-haskell
87 , transformers
88 , unordered-containers