Language.Haskell.Liquid.GHC.Interface

Printer

pprintCBs :: [CoreBind] -> Doc

predicates

Internal exports (provisional)

extractSpecComments :: ParsedModule -> [(Maybe RealSrcLoc, String)]

Extract Specifications from GHC -------------------------------------------

extractSpecQuotes' :: (a -> Module) -> (a -> [Annotation]) -> a -> [BPspec]

makeLogicMap :: IO LogicMap

classCons :: Maybe [ClsInst] -> [Id]

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

derivedVars :: Config -> MGIModGuts -> [Var]

importVars :: CoreProgram -> [Id]

allImports :: [LImportDecl GhcRn] -> HashSet Symbol

qualifiedImports :: [LImportDecl GhcRn] -> QImports

modSummaryHsFile :: ModSummary -> FilePath

makeFamInstEnv :: [FamInst] -> ([TyCon], [(Symbol, DataCon)])

Family instance information

parseSpecFile :: FilePath -> IO (ModName, BareSpec)

Finding & Parsing Files ---------------------------------------------------

Parse a spec file by path.

On a parse error, we fail.

TODO, Andres: It would be better to fail more systematically, but currently we seem to have an option between throwing an error which will be reported badly, or printing the error ourselves.

clearSpec :: BareSpec -> BareSpec

checkFilePragmas :: [Located String] -> IO ()

keepRawTokenStream :: ModSummary -> ModSummary

ignoreInline :: ParsedModule -> ParsedModule

lookupTyThings :: HscEnv -> ModSummary -> TcGblEnv -> IO [(Name, Maybe TyThing)]

lookupTyThings grabs all the Names and associated TyThing known to GHC for this module; we will use this to create our name-resolution environment (see Resolve)

availableTyCons :: HscEnv -> ModSummary -> TcGblEnv -> [AvailInfo] -> IO [TyCon]

Returns all the available (i.e. exported) TyCons (type constructors) for the input Module.

availableVars :: HscEnv -> ModSummary -> TcGblEnv -> [AvailInfo] -> IO [Var]

Returns all the available (i.e. exported) Vars for the input Module.

updLiftedSpec :: BareSpec -> Maybe BareSpec -> BareSpec

Per-Module Pipeline -------------------------------------------------------

Orphan instances

Show TargetInfo

Methods

showsPrec :: Int -> TargetInfo -> ShowS

show :: TargetInfo -> String

showList :: [TargetInfo] -> ShowS

PPrint TargetInfo

Methods

pprintTidy :: Tidy -> TargetInfo -> Doc

pprintPrec :: Int -> Tidy -> TargetInfo -> Doc

PPrint TargetSpec

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

Methods

pprintTidy :: Tidy -> TargetSpec -> Doc

pprintPrec :: Int -> Tidy -> TargetSpec -> Doc

PPrint TargetVars

Methods

pprintTidy :: Tidy -> TargetVars -> Doc

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

Result SourceError

Methods

result :: SourceError -> FixResult UserError