liquidhaskell-boot-0.9.10.1.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.Interface

Synopsis

Printer

pprintCBs :: [CoreBind] -> Doc Source #

predicates

Internal exports (provisional)

extractSpecComments :: HsParsedModule -> [(Maybe RealSrcLoc, String)] Source #

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

listLMap :: LogicMap Source #

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

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

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

importVars :: CoreProgram -> [Id] Source #

modSummaryHsFile :: ModSummary -> FilePath Source #

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

Family instance information

clearSpec :: BareSpec -> BareSpec Source #

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

lookupTyThing :: GhcMonad m => TypeEnv -> Name -> m (Maybe TyThing) Source #

updLiftedSpec :: BareSpec -> Maybe BareSpec -> BareSpec Source #

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

Orphan instances

Show TargetInfo Source # 
Instance details

Methods

showsPrec :: Int -> TargetInfo -> ShowS #

show :: TargetInfo -> String #

showList :: [TargetInfo] -> ShowS #

PPrint TargetInfo Source # 
Instance details

Methods

pprintTidy :: Tidy -> TargetInfo -> Doc #

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

PPrint TargetSpec Source #

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

Instance details

Methods

pprintTidy :: Tidy -> TargetSpec -> Doc #

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

Result SourceError Source # 
Instance details

Methods

result :: SourceError -> FixResult UserError Source #