1 author: Julien Moutinho <julm+symantic@autogeree.net>
2 -- bug-reports: http://doc.autogeree.net/symantic/bugs
9 Library for composing, typing, compiling, transforming and interpreting
10 a custom DSL (Domain-Specific Language)
11 expressing a subset of GHC's Haskell.
13 Your comments, problem reports, or questions are very welcome! :-)
15 NOTE: the symantic approach was developped for embedded DSL
16 by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
17 see: <http://okmij.org/ftp/tagless-final/ Tagless-Final>.
19 NOTE: alternative libraries to do more or less the same things
20 include: <https://hackage.haskell.org/package/syntactic syntactic>.
23 -- homepage: http://pad.autogeree.net/informatique/symantic/
26 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
28 stability: experimental
29 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
30 tested-with: GHC==8.0.1
33 Source-Repository head
34 location: git://git.autogeree.net/symantic
39 Description: Turn on development settings.
44 Description: Dump some intermediate files.
49 Description: Turn on profiling settings.
54 Description: Enable threads.
59 ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
61 cpp-options: -DDEVELOPMENT
64 -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
65 -- -fno-warn-type-defaults -fno-warn-orphans
67 ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
69 cpp-options: -DPROFILING
70 ghc-options: -fprof-auto
71 default-language: Haskell2010
74 Language.Symantic.Lib.Data.Type.List
75 Language.Symantic.Lib.Data.Type.Peano
76 Language.Symantic.Typing
77 Language.Symantic.Typing.Kind
78 Language.Symantic.Typing.Constant
79 Language.Symantic.Typing.Type
80 Language.Symantic.Typing.Constraint
81 Language.Symantic.Typing.Syntax
82 Language.Symantic.Compiling
83 Language.Symantic.Compiling.Applicative
84 Language.Symantic.Compiling.Bool
85 Language.Symantic.Compiling.Char
86 Language.Symantic.Compiling.Either
87 Language.Symantic.Compiling.Eq
88 Language.Symantic.Compiling.Foldable
89 Language.Symantic.Compiling.Functor
90 Language.Symantic.Compiling.If
91 Language.Symantic.Compiling.Int
92 Language.Symantic.Compiling.Integer
93 Language.Symantic.Compiling.Integral
94 Language.Symantic.Compiling.IO
95 Language.Symantic.Compiling.List
96 Language.Symantic.Compiling.Map
97 Language.Symantic.Compiling.Maybe
98 Language.Symantic.Compiling.Monad
99 Language.Symantic.Compiling.Monoid
100 Language.Symantic.Compiling.Num
101 Language.Symantic.Compiling.Ord
102 Language.Symantic.Compiling.Term
103 Language.Symantic.Compiling.Text
104 Language.Symantic.Compiling.Traversable
105 Language.Symantic.Compiling.Tuple2
106 Language.Symantic.Interpreting
107 Language.Symantic.Interpreting.Host
108 Language.Symantic.Interpreting.Text
109 Language.Symantic.Interpreting.Dup
110 Language.Symantic.Transforming
111 Language.Symantic.Transforming.Trans
116 -- , mono-traversable
120 Test-Suite symantic-test
121 type: exitcode-stdio-1.0
124 default-language: Haskell2010
125 ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
127 hs-source-dirs: Language/Symantic
133 Compiling.Functor.Test
134 Compiling.Applicative.Test
136 ghc-options: -threaded -rtsopts -with-rtsopts=-N
138 cpp-options: -DDEVELOPMENT
141 cpp-options: -DPROFILING
142 ghc-options: -fprof-auto
146 -- , mono-traversable