]> 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-source-files:
11 extra-tmp-files:
12 -- homepage:
13 license: GPL-3
14 license-file: COPYING
15 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
16 name: symantic
17 stability: experimental
18 synopsis: Library for Typed Tagless-Final Higher-Order Composable DSL
19 tested-with: GHC==8.0.2
20 -- PVP: +-+------- breaking API changes
21 -- | | +----- non-breaking API additions
22 -- | | | +--- code changes with no API change
23 version: 6.2.0.20170702
24
25 Source-Repository head
26 location: git://git.autogeree.net/symantic
27 type: git
28
29 Library
30 default-extensions:
31 DataKinds
32 DefaultSignatures
33 FlexibleContexts
34 FlexibleInstances
35 LambdaCase
36 MultiParamTypeClasses
37 NamedFieldPuns
38 OverloadedStrings
39 Rank2Types
40 ScopedTypeVariables
41 StandaloneDeriving
42 TupleSections
43 TypeApplications
44 TypeFamilies
45 TypeOperators
46 ghc-options: -Wall
47 -fno-warn-tabs
48 default-language: Haskell2010
49 exposed-modules:
50 Language.Symantic
51 Language.Symantic.Compiling
52 Language.Symantic.Compiling.Beta
53 Language.Symantic.Compiling.Grammar
54 Language.Symantic.Compiling.Module
55 Language.Symantic.Compiling.Read
56 Language.Symantic.Compiling.Term
57 Language.Symantic.Interpreting
58 Language.Symantic.Interpreting.Dup
59 Language.Symantic.Interpreting.Eval
60 Language.Symantic.Interpreting.View
61 Language.Symantic.Transforming
62 Language.Symantic.Transforming.Beta
63 Language.Symantic.Transforming.Trans
64 Language.Symantic.Typing
65 Language.Symantic.Typing.Document
66 Language.Symantic.Typing.Grammar
67 Language.Symantic.Typing.Kind
68 Language.Symantic.Typing.List
69 Language.Symantic.Typing.Module
70 Language.Symantic.Typing.Peano
71 Language.Symantic.Typing.Read
72 Language.Symantic.Typing.Show
73 Language.Symantic.Typing.Type
74 Language.Symantic.Typing.Unify
75 Language.Symantic.Typing.Variable
76 build-depends:
77 base >= 4.6 && < 5
78 , containers
79 , ghc-prim
80 , mono-traversable
81 , symantic-grammar
82 , symantic-document
83 , transformers
84 , text