Hoogle Search

Within LTS Haskell 24.12 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. lookupType :: HscEnv -> Name -> IO (Maybe TyThing)

   ghc	GHC.Driver.Env

   Find the TyThing for the given Name by using all the resources at our disposal: the compiled modules in the HomePackageTable and the compiled modules in other packages that live in PackageTypeEnv. Note that this does NOT look up the TyThing in the module being compiled: you have to do that yourself, if desired

2. lookupKnotVars :: KnotVars a -> Module -> Maybe a

   ghc	GHC.Driver.Env.KnotVars

   No documentation available.

3. lookupEstimatedTicks :: HscEnv -> Map CmmInfoTable (Maybe IpeSourceLocation) -> IPEStats -> CmmGroupSRTs -> IO (Map CmmInfoTable (Maybe IpeSourceLocation), IPEStats)

   ghc	GHC.Driver.GenerateCgIPEStub

   Given: * an initial mapping from info tables to possible source locations, * initial IPEStats, * a CmmGroupSRTs, map every info table listed in the CmmProcs of the group to their possible source locations and update IPEStats for skipped stack info tables (in case both -finfo-table-map and -fno-info-table-map-with-stack were given). See: Note [Stacktraces from Info Table Provenance Entries (IPE based stack unwinding)] Note: While it would be cleaner if we could keep the recursion and accumulation internal to this function, this cannot be done without separately traversing stream of CmmGroupSRTs in Main. The initial implementation of this logic did such a thing, and code generation performance suffered considerably as a result (see #23103).

4. lookupRefuts :: Nabla -> Id -> [PmAltCon]

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

5. lookupSolution :: Nabla -> Id -> Maybe PmAltConApp

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

6. lookupVarInfo :: TmState -> Id -> VarInfo

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

7. lookupVarInfoNT :: TmState -> Id -> (Id, VarInfo)

   ghc	GHC.HsToCore.Pmc.Solver.Types

   Like lookupVarInfo ts x, but lookupVarInfo ts x = (y, vi) also looks through newtype constructors. We have x ~ N1 (... (Nk y)) such that the returned y doesn't have a positive newtype constructor constraint associated with it (yet). The VarInfo returned is that of y's representative. Careful, this means that idType x might be different to idType y, even modulo type normalisation! See also Note [Coverage checking Newtype matches] in GHC.HsToCore.Pmc.Solver.

8. lookupIfaceTop :: OccName -> IfL Name

   ghc	GHC.Iface.Env

   Look up a top-level name from the current Iface module

9. lookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar)

   ghc	GHC.Iface.Env

   No documentation available.

10. lookupIfaceVar :: IfaceBndr -> IfL (Maybe TyCoVar)

    ghc	GHC.Iface.Env

    No documentation available.

Page 48 of many | Previous | Next