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.Integer
15 , module Language.Symantic.Type.IO
16 , module Language.Symantic.Type.Maybe
17 , module Language.Symantic.Type.List
18 , module Language.Symantic.Type.Ordering
19 , module Language.Symantic.Type.Tuple
20 , module Language.Symantic.Type.Map
21 , module Language.Symantic.Type.Either
22 , module Language.Symantic.Type.Text
25 import Language.Symantic.Type.Root
26 import Language.Symantic.Type.Alt
27 import Language.Symantic.Type.Error
28 import Language.Symantic.Type.Type0
29 import Language.Symantic.Type.Type1
30 import Language.Symantic.Type.Type2
31 import Language.Symantic.Type.Var
32 import Language.Symantic.Type.Fun
33 import Language.Symantic.Type.Unit
34 import Language.Symantic.Type.Bool
35 import Language.Symantic.Type.Int
36 import Language.Symantic.Type.Integer
37 import Language.Symantic.Type.IO
38 import Language.Symantic.Type.Maybe
39 import Language.Symantic.Type.List
40 import Language.Symantic.Type.Ordering
41 import Language.Symantic.Type.Tuple
42 import Language.Symantic.Type.Map
43 import Language.Symantic.Type.Either
44 import Language.Symantic.Type.Text