Liquid.GHC.API.Extra

Documentation

module Liquid.GHC.API.StableModule

data ApiComment

Abstraction of EpaComment.

Constructors

ApiLineComment String

ApiBlockComment String

Instances

Show ApiComment

Defined in Liquid.GHC.API.Extra

Methods

showsPrec :: Int -> ApiComment -> ShowS

show :: ApiComment -> String

showList :: [ApiComment] -> ShowS

Eq ApiComment

Defined in Liquid.GHC.API.Extra

Methods

(==) :: ApiComment -> ApiComment -> Bool

(/=) :: ApiComment -> ApiComment -> Bool

apiComments :: ParsedModule -> [Located ApiComment]

Extract top-level comments from a module.

apiCommentsParsedSource :: Located HsModule -> [Located ApiComment]

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

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

Desugar a typechecked module.

fsToUnitId :: FastString -> UnitId

getDependenciesModuleNames :: Dependencies -> [ModuleNameWithIsBoot]

isPatErrorAlt :: CoreAlt -> Bool

Tells if a case alternative calls to patError

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

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

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

showPprQualified :: Outputable a => a -> String

showSDocQualified :: SDoc -> String

thisPackage :: DynFlags -> UnitId

tyConRealArity :: TyCon -> Int

typecheckModuleIO :: HscEnv -> ParsedModule -> IO TypecheckedModuleLH