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.
lookupSolution :: Nabla -> Id -> Maybe PmAltConAppghc-lib-parser GHC.HsToCore.Pmc.Solver.Types No documentation available.
lookupVarInfo :: TmState -> Id -> VarInfoghc-lib-parser GHC.HsToCore.Pmc.Solver.Types No documentation available.
lookupVarInfoNT :: TmState -> Id -> (Id, VarInfo)ghc-lib-parser 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.
lookupName :: Bool -> String -> Q (Maybe Name)ghc-lib-parser GHC.Internal.TH.Syntax No documentation available.
lookupTypeName :: String -> Q (Maybe Name)ghc-lib-parser GHC.Internal.TH.Syntax Look up the given name in the (type namespace of the) current splice's scope. See Language.Haskell.TH.Syntax#namelookup for more details.
lookupValueName :: String -> Q (Maybe Name)ghc-lib-parser GHC.Internal.TH.Syntax Look up the given name in the (value namespace of the) current splice's scope. See Language.Haskell.TH.Syntax#namelookup for more details.
lookupPlatformConstants :: [FilePath] -> IO (Maybe PlatformConstants)ghc-lib-parser GHC.Platform Try to locate "GhclibDerivedConstants.h" file in the given dirs and to parse the PlatformConstants from it. See Note [Platform constants]
lookupRoleAnnot :: RoleAnnotEnv -> Name -> Maybe (LRoleAnnotDecl GhcRn)ghc-lib-parser GHC.Tc.Types No documentation available.
lookupEvBind :: EvBindMap -> EvVar -> Maybe EvBindghc-lib-parser GHC.Tc.Types.Evidence No documentation available.
lookupTyVar :: Subst -> TyVar -> Maybe Typeghc-lib-parser GHC.Tc.Utils.TcType No documentation available.