liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell

Safe Haskell	Safe-Inferred
Language	Haskell98

Liquid.GHC.API.Extra

Synopsis

module Liquid.GHC.API.StableModule
data ApiComment
- = ApiLineComment String
- | ApiBlockComment String
apiComments :: ParsedModule -> [Located ApiComment]
apiCommentsParsedSource :: Located HsModule -> [Located ApiComment]
dataConSig :: DataCon -> ([TyCoVar], ThetaType, [Type], Type)
desugarModuleIO :: HscEnv -> ModSummary -> TypecheckedModuleLH -> IO ModGuts
fsToUnitId :: FastString -> UnitId
getDependenciesModuleNames :: Dependencies -> [ModuleNameWithIsBoot]
isPatErrorAlt :: CoreAlt -> Bool
lookupModSummary :: HscEnv -> ModuleName -> Maybe ModSummary
modInfoLookupNameIO :: HscEnv -> ModuleInfoLH -> Name -> IO (Maybe TyThing)
moduleInfoTc :: HscEnv -> ModSummary -> TcGblEnv -> IO ModuleInfoLH
moduleUnitId :: Module -> UnitId
parseModuleIO :: HscEnv -> ModSummary -> IO ParsedModule
qualifiedNameFS :: Name -> FastString
relevantModules :: ModGuts -> Set Module
renderWithStyle :: DynFlags -> SDoc -> PprStyle -> String
showPprQualified :: Outputable a => a -> String
showSDocQualified :: SDoc -> String
thisPackage :: DynFlags -> UnitId
tyConRealArity :: TyCon -> Int
typecheckModuleIO :: HscEnv -> ParsedModule -> IO TypecheckedModuleLH

Documentation

module Liquid.GHC.API.StableModule

data ApiComment Source #

Abstraction of EpaComment.

Constructors

ApiLineComment String
ApiBlockComment String

Instances

Instances details

Show ApiComment Source #
Instance details Defined in Liquid.GHC.API.Extra Methods showsPrec :: Int -> ApiComment -> ShowS # show :: ApiComment -> String # showList :: [ApiComment] -> ShowS #
Eq ApiComment Source #
Instance details Defined in Liquid.GHC.API.Extra Methods (==) :: ApiComment -> ApiComment -> Bool # (/=) :: ApiComment -> ApiComment -> Bool #

apiComments :: ParsedModule -> [Located ApiComment] Source #

Extract top-level comments from a module.

apiCommentsParsedSource :: Located HsModule -> [Located ApiComment] Source #

dataConSig :: DataCon -> ([TyCoVar], ThetaType, [Type], Type) Source #

desugarModuleIO :: HscEnv -> ModSummary -> TypecheckedModuleLH -> IO ModGuts Source #

Desugar a typechecked module.

fsToUnitId :: FastString -> UnitId Source #

getDependenciesModuleNames :: Dependencies -> [ModuleNameWithIsBoot] Source #

isPatErrorAlt :: CoreAlt -> Bool Source #

Tells if a case alternative calls to patError

lookupModSummary :: HscEnv -> ModuleName -> Maybe ModSummary Source #

modInfoLookupNameIO :: HscEnv -> ModuleInfoLH -> Name -> IO (Maybe TyThing) Source #

moduleInfoTc :: HscEnv -> ModSummary -> TcGblEnv -> IO ModuleInfoLH Source #

moduleUnitId :: Module -> UnitId Source #

parseModuleIO :: HscEnv -> ModSummary -> IO ParsedModule Source #

qualifiedNameFS :: Name -> FastString Source #

relevantModules :: ModGuts -> Set Module Source #

The collection of dependencies and usages modules which are relevant for liquidHaskell

renderWithStyle :: DynFlags -> SDoc -> PprStyle -> String Source #

showPprQualified :: Outputable a => a -> String Source #

showSDocQualified :: SDoc -> String Source #

thisPackage :: DynFlags -> UnitId Source #

tyConRealArity :: TyCon -> Int Source #

typecheckModuleIO :: HscEnv -> ParsedModule -> IO TypecheckedModuleLH Source #