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