]> Git — Sourcephile - haskell/symantic.git/blob - symantic/symantic.cabal
Fix cabal-version warning.
[haskell/symantic.git] / symantic / symantic.cabal
1 name: symantic
2 -- PVP: +-+------- breaking API changes
3 -- | | +----- non-breaking API additions
4 -- | | | +--- code changes with no API change
5 version: 6.3.3.20190614
6 synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
7 description: This is an experimental library for composing, parsing,
8 typing, compiling, transforming and interpreting
9 a custom DSL (Domain-Specific Language)
10 expressing a subset of GHC's Haskell type system.
11 extra-doc-files: README.md
12 category: Language
13 license: GPL-3
14 license-file: COPYING
15 stability: experimental
16 author: Julien Moutinho <julm+symantic@autogeree.net>
17 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
18 bug-reports: Julien Moutinho <julm+symantic@autogeree.net>
19 -- homepage:
20
21 build-type: Simple
22 cabal-version: 1.24
23 tested-with: GHC==8.4.4
24 extra-source-files:
25 stack.yaml
26 extra-tmp-files:
27
28 Source-Repository head
29 location: git://git.autogeree.net/symantic
30 type: git
31
32 Library
33 exposed-modules:
34 Language.Symantic
35 Language.Symantic.Compiling
36 Language.Symantic.Compiling.Beta
37 Language.Symantic.Compiling.Grammar
38 Language.Symantic.Compiling.Module
39 Language.Symantic.Compiling.Read
40 Language.Symantic.Compiling.Term
41 Language.Symantic.Interpreting
42 Language.Symantic.Interpreting.Dup
43 Language.Symantic.Interpreting.Eval
44 Language.Symantic.Interpreting.View
45 Language.Symantic.Transforming
46 Language.Symantic.Transforming.Beta
47 Language.Symantic.Transforming.Trans
48 Language.Symantic.Typing
49 Language.Symantic.Typing.Document
50 Language.Symantic.Typing.Grammar
51 Language.Symantic.Typing.Kind
52 Language.Symantic.Typing.List
53 Language.Symantic.Typing.Module
54 Language.Symantic.Typing.Peano
55 Language.Symantic.Typing.Read
56 Language.Symantic.Typing.Show
57 Language.Symantic.Typing.Type
58 Language.Symantic.Typing.Unify
59 Language.Symantic.Typing.Variable
60 default-language: Haskell2010
61 default-extensions:
62 DataKinds
63 DefaultSignatures
64 FlexibleContexts
65 FlexibleInstances
66 LambdaCase
67 MultiParamTypeClasses
68 NamedFieldPuns
69 OverloadedStrings
70 Rank2Types
71 ScopedTypeVariables
72 StandaloneDeriving
73 TupleSections
74 TypeApplications
75 TypeFamilies
76 TypeOperators
77 ghc-options:
78 -Wall
79 -Wincomplete-uni-patterns
80 -Wincomplete-record-updates
81 -fno-warn-tabs
82 -fhide-source-paths
83 build-depends:
84 symantic-grammar
85 , symantic-document >= 1.0
86 , base >= 4.6 && < 5
87 , containers >= 0.5
88 , mono-traversable >= 1.0
89 , transformers >= 0.5
90 , text >= 1.2