-- | Types for the expressions.
module Language.Symantic.Type
 ( module Language.Symantic.Type.Common
 , 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.Maybe
 , module Language.Symantic.Type.List
 , module Language.Symantic.Type.Ordering
 , module Language.Symantic.Type.Tuple
 , module Language.Symantic.Type.Map
 ) where

import Language.Symantic.Type.Common
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.Maybe
import Language.Symantic.Type.List
import Language.Symantic.Type.Ordering
import Language.Symantic.Type.Tuple
import Language.Symantic.Type.Map