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.Fun
   5  , module Language.Symantic.Type.Unit
   6  , module Language.Symantic.Type.Bool
   7  , module Language.Symantic.Type.Int
   8  , module Language.Symantic.Type.Maybe
   9  , module Language.Symantic.Type.Ordering
  10  , module Language.Symantic.Type.Var
  11  ) where
  12
  13 import Language.Symantic.Type.Common
  14 import Language.Symantic.Type.Fun
  15 import Language.Symantic.Type.Unit
  16 import Language.Symantic.Type.Bool
  17 import Language.Symantic.Type.Int
  18 import Language.Symantic.Type.Maybe
  19 import Language.Symantic.Type.Ordering
  20 import Language.Symantic.Type.Var