ivory-opts-0.1.0.6: Ivory compiler optimizations.

Safe HaskellNone
LanguageHaskell2010

Ivory.Opts.TypeCheck

Synopsis

Documentation

typeCheck :: Module -> ModResult Result Source #

Type Check a module.

showTyChkModule :: Bool -> ModResult Result -> IO () Source #

existWarnOrErrors :: ModResult Result -> Bool Source #

Are there any errors or warnings from typechecking the module?

existErrors :: ModResult Result -> Bool Source #

Are there any errors from typechecking the module?