Language.Haskell.Liquid.GHC.Interface

extract all information needed for verification

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

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

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

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

printer

pprintCBs :: [CoreBind] -> Doc

predicates

isExportedVar :: GhcInfo -> Var -> Bool

exportedVars :: GhcInfo -> [Var]

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

Orphan instances

Show GhcInfo

Methods

showsPrec :: Int -> GhcInfo -> ShowS

show :: GhcInfo -> String

showList :: [GhcInfo] -> ShowS

PPrint TargetVars

Methods

pprintTidy :: Tidy -> TargetVars -> Doc

pprintPrec :: Int -> Tidy -> TargetVars -> Doc

PPrint GhcSpec

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

Methods

pprintTidy :: Tidy -> GhcSpec -> Doc

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

PPrint GhcInfo

Methods

pprintTidy :: Tidy -> GhcInfo -> Doc

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

Result SourceError

Methods

result :: SourceError -> FixResult UserError