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