liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.Interface

Contents

Synopsis

extract all information needed for verification

getGhcInfo :: Maybe HscEnv -> Config -> FilePath -> IO (GhcInfo, HscEnv) Source

printer

pprintCBs :: [CoreBind] -> Doc Source