]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Type.hs
IO, Monoid, Foldable, Text
[haskell/symantic.git] / Language / Symantic / Type.hs
1 -- | Types for the expressions.
2 module Language.Symantic.Type
3 ( module Language.Symantic.Type.Root
4 , module Language.Symantic.Type.Alt
5 , module Language.Symantic.Type.Error
6 , module Language.Symantic.Type.Type0
7 , module Language.Symantic.Type.Type1
8 , module Language.Symantic.Type.Type2
9 , module Language.Symantic.Type.Var
10 , module Language.Symantic.Type.Fun
11 , module Language.Symantic.Type.Unit
12 , module Language.Symantic.Type.Bool
13 , module Language.Symantic.Type.Int
14 , module Language.Symantic.Type.IO
15 , module Language.Symantic.Type.Maybe
16 , module Language.Symantic.Type.List
17 , module Language.Symantic.Type.Ordering
18 , module Language.Symantic.Type.Tuple
19 , module Language.Symantic.Type.Map
20 , module Language.Symantic.Type.Either
21 , module Language.Symantic.Type.Text
22 ) where
23
24 import Language.Symantic.Type.Root
25 import Language.Symantic.Type.Alt
26 import Language.Symantic.Type.Error
27 import Language.Symantic.Type.Type0
28 import Language.Symantic.Type.Type1
29 import Language.Symantic.Type.Type2
30 import Language.Symantic.Type.Var
31 import Language.Symantic.Type.Fun
32 import Language.Symantic.Type.Unit
33 import Language.Symantic.Type.Bool
34 import Language.Symantic.Type.Int
35 import Language.Symantic.Type.IO
36 import Language.Symantic.Type.Maybe
37 import Language.Symantic.Type.List
38 import Language.Symantic.Type.Ordering
39 import Language.Symantic.Type.Tuple
40 import Language.Symantic.Type.Map
41 import Language.Symantic.Type.Either
42 import Language.Symantic.Type.Text