ivory-opts-0.1.0.6: Ivory compiler optimizations.

Safe HaskellNone
LanguageHaskell2010

Ivory.Opts.SanityCheck

Contents

Synopsis

Documentation

sanityCheck :: [Module] -> [ModResult Result] Source #

showSanityChkModule :: ModResult Result -> IO () Source #

existErrors :: ModResult Result -> Bool Source #

Are there any errors from typechecking?

Orphan instances

Pretty Type Source # 
Instance details

Methods

pretty :: Type -> Doc #