liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.Predicates

Documentation

generatePredicates :: GhcInfo -> ([Bind CoreBndr], SEnv PrType)Source