intensional-datatys-0.2.0.0: A GHC Core plugin for intensional datatype refinement checking
Safe HaskellNone
LanguageHaskell2010

Intensional.InferCoreExpr

Documentation

inferProg :: CoreProgram -> InferM Context Source #