-- | Types for the expressions.
module Language.Symantic.Type
 ( module Language.Symantic.Type.Root
 , module Language.Symantic.Type.Alt
 , module Language.Symantic.Type.Error
 , module Language.Symantic.Type.Type0
 , module Language.Symantic.Type.Type1
 , module Language.Symantic.Type.Type2
 , module Language.Symantic.Type.Var
 , module Language.Symantic.Type.Fun
 , module Language.Symantic.Type.Unit
 , module Language.Symantic.Type.Bool
 , module Language.Symantic.Type.Int
 , module Language.Symantic.Type.Integer
 , module Language.Symantic.Type.IO
 , module Language.Symantic.Type.Maybe
 , module Language.Symantic.Type.List
 , module Language.Symantic.Type.Ordering
 , module Language.Symantic.Type.Tuple
 , module Language.Symantic.Type.Map
 , module Language.Symantic.Type.Either
 , module Language.Symantic.Type.Text
 ) where

import Language.Symantic.Type.Root
import Language.Symantic.Type.Alt
import Language.Symantic.Type.Error
import Language.Symantic.Type.Type0
import Language.Symantic.Type.Type1
import Language.Symantic.Type.Type2
import Language.Symantic.Type.Var
import Language.Symantic.Type.Fun
import Language.Symantic.Type.Unit
import Language.Symantic.Type.Bool
import Language.Symantic.Type.Int
import Language.Symantic.Type.Integer
import Language.Symantic.Type.IO
import Language.Symantic.Type.Maybe
import Language.Symantic.Type.List
import Language.Symantic.Type.Ordering
import Language.Symantic.Type.Tuple
import Language.Symantic.Type.Map
import Language.Symantic.Type.Either
import Language.Symantic.Type.Text