======================================================================== Haskell Source Extensions ======================================================================== haskell-type-exts (HTE) is a package providing type checking functionality on top of the haskell-src-exts (HSE) package. As of yet it is of limited use, but there are grand plans. ------------------------------------------------------------------------ Package structure: The modules that comprise haskell-type-exts all reside in the hierarchic namespace Language.Haskell.TypeCheck. The exposed modules are: * Language.Haskell.TypeCheck - The top-level type checker, re-exporting all sub-modules. ------------------------------------------------------------------------ Supported extensions: * None(!) ------------------------------------------------------------------------ Portability and dependencies: The package uses the ST monad, which implies a dependency on rank-2 types. ------------------------------------------------------------------------ License: The haskell-type-exts Package is distributed under a derived BSD-style license. It derives from several sources, all of which are distributable under BSD-style or compatible licenses. See the file LICENSE for the complete license text.