Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupVarInfo :: TmState -> Id -> VarInfoghc GHC.HsToCore.Pmc.Solver.Types No documentation available.
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.
lookupIfaceTop :: OccName -> IfL Nameghc GHC.Iface.Env Look up a top-level name from the current Iface module
lookupIfaceTyVar :: IfaceTvBndr -> IfL (Maybe TyVar)ghc GHC.Iface.Env No documentation available.
lookupIfaceVar :: IfaceBndr -> IfL (Maybe TyCoVar)ghc GHC.Iface.Env No documentation available.
lookupNameCache :: NameCache -> Module -> OccName -> IO Nameghc GHC.Iface.Env No documentation available.
lookupOrig :: Module -> OccName -> TcRnIf a b Nameghc GHC.Iface.Env Look up the Name for a given Module and OccName. Consider alternatively using lookupIfaceTop if you're in the IfL monad and Module is simply that of the ModIface you are typechecking.
lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Nameghc GHC.Iface.Env No documentation available.
lookupPlatformConstants :: [FilePath] -> IO (Maybe PlatformConstants)ghc GHC.Platform Try to locate "DerivedConstants.h" file in the given dirs and to parse the PlatformConstants from it. See Note [Platform constants]
lookupCoVar :: Subst -> Var -> Maybe Coercionghc GHC.Plugins No documentation available.