liquidhaskell-0.8.0.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.Interface

Contents

Synopsis

extract all information needed for verification

getGhcInfos :: Maybe HscEnv -> Config -> [FilePath] -> IO ([GhcInfo], HscEnv) Source #

GHC Interface Pipeline ----------------------------------------------------

runLiquidGhc :: Maybe HscEnv -> Config -> Ghc a -> IO a Source #

GHC Configuration & Setup -------------------------------------------------

printer

predicates

exportedVars :: GhcInfo -> [Var] Source #

Extract Ids ---------------------------------------------------------------

Orphan instances

Show GhcInfo Source # 
PPrint TargetVars Source # 
PPrint GhcSpec Source #

Pretty Printing -----------------------------------------------------------

Methods

pprintTidy :: Tidy -> GhcSpec -> Doc #

pprintPrec :: Int -> Tidy -> GhcSpec -> Doc #

PPrint GhcInfo Source # 

Methods

pprintTidy :: Tidy -> GhcInfo -> Doc #

pprintPrec :: Int -> Tidy -> GhcInfo -> Doc #

Result SourceError Source #