Language/Symantic/Type.hs

   1 -- | Types for the expressions.
   2 module Language.Symantic.Type
   3  ( module Language.Symantic.Type.Common
   4  , module Language.Symantic.Type.Var
   5  , module Language.Symantic.Type.Fun
   6  , module Language.Symantic.Type.Unit
   7  , module Language.Symantic.Type.Bool
   8  , module Language.Symantic.Type.Int
   9  , module Language.Symantic.Type.Maybe
  10  , module Language.Symantic.Type.List
  11  , module Language.Symantic.Type.Ordering
  12  , module Language.Symantic.Type.Tuple
  13  , module Language.Symantic.Type.Map
  14  ) where
  15
  16 import Language.Symantic.Type.Common
  17 import Language.Symantic.Type.Var
  18 import Language.Symantic.Type.Fun
  19 import Language.Symantic.Type.Unit
  20 import Language.Symantic.Type.Bool
  21 import Language.Symantic.Type.Int
  22 import Language.Symantic.Type.Maybe
  23 import Language.Symantic.Type.List
  24 import Language.Symantic.Type.Ordering
  25 import Language.Symantic.Type.Tuple
  26 import Language.Symantic.Type.Map