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