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.Constraint
  10  , module Language.Symantic.Type.Family
  11  , module Language.Symantic.Type.Var
  12  , module Language.Symantic.Type.Fun
  13  , module Language.Symantic.Type.Unit
  14  , module Language.Symantic.Type.Bool
  15  , module Language.Symantic.Type.Int
  16  , module Language.Symantic.Type.Integer
  17  , module Language.Symantic.Type.Char
  18  , module Language.Symantic.Type.IO
  19  , module Language.Symantic.Type.Maybe
  20  , module Language.Symantic.Type.List
  21  , module Language.Symantic.Type.Ordering
  22  , module Language.Symantic.Type.Tuple
  23  , module Language.Symantic.Type.Map
  24  , module Language.Symantic.Type.Either
  25  , module Language.Symantic.Type.Text
  26  ) where
  27
  28 import Language.Symantic.Type.Root
  29 import Language.Symantic.Type.Alt
  30 import Language.Symantic.Type.Error
  31 import Language.Symantic.Type.Type0
  32 import Language.Symantic.Type.Type1
  33 import Language.Symantic.Type.Type2
  34 import Language.Symantic.Type.Constraint
  35 import Language.Symantic.Type.Family
  36 import Language.Symantic.Type.Var
  37 import Language.Symantic.Type.Fun
  38 import Language.Symantic.Type.Unit
  39 import Language.Symantic.Type.Bool
  40 import Language.Symantic.Type.Int
  41 import Language.Symantic.Type.Integer
  42 import Language.Symantic.Type.Char
  43 import Language.Symantic.Type.IO
  44 import Language.Symantic.Type.Maybe
  45 import Language.Symantic.Type.List
  46 import Language.Symantic.Type.Ordering
  47 import Language.Symantic.Type.Tuple
  48 import Language.Symantic.Type.Map
  49 import Language.Symantic.Type.Either
  50 import Language.Symantic.Type.Text