Language/LOL/Symantic/Type.hs

   1 -- | Types for the expressions.
   2 module Language.LOL.Symantic.Type
   3  ( module Language.LOL.Symantic.Type.Common
   4  , module Language.LOL.Symantic.Type.Fun
   5  , module Language.LOL.Symantic.Type.Unit
   6  , module Language.LOL.Symantic.Type.Bool
   7  , module Language.LOL.Symantic.Type.Int
   8  , module Language.LOL.Symantic.Type.Maybe
   9  , module Language.LOL.Symantic.Type.Var
  10  ) where
  11
  12 import Language.LOL.Symantic.Type.Common
  13 import Language.LOL.Symantic.Type.Fun
  14 import Language.LOL.Symantic.Type.Unit
  15 import Language.LOL.Symantic.Type.Bool
  16 import Language.LOL.Symantic.Type.Int
  17 import Language.LOL.Symantic.Type.Maybe
  18 import Language.LOL.Symantic.Type.Var