]> Git — Sourcephile - haskell/symantic-base.git/blob - symantic-base.cabal
iface: add semantic `Identity`
[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.Data
56 Symantic.Syntaxes.Derive
57 Symantic.Syntaxes.EithersOfTuples
58 Symantic.Syntaxes.Reify
59 Symantic.Syntaxes.TuplesOfFunctions
60
61 default-language: Haskell2010
62 default-extensions:
63 NoImplicitPrelude
64 DefaultSignatures
65 FlexibleContexts
66 FlexibleInstances
67 GeneralizedNewtypeDeriving
68 ImportQualifiedPost
69 LambdaCase
70 MultiParamTypeClasses
71 NamedFieldPuns
72 RecordWildCards
73 ScopedTypeVariables
74 TupleSections
75 TypeApplications
76 TypeFamilies
77 TypeOperators
78
79 ghc-options:
80 -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
81 -Wpartial-fields -fprint-potential-instances
82
83 build-depends:
84 , base >=4.10 && <5
85 , containers
86 , hashable
87 , template-haskell
88 , transformers
89 , unordered-containers