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