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.
lookupWithDefaultM :: Monad m => m a -> Focus a m afocus Focus A monadic version of lookupWithDefault.
lookupFact :: Label -> FactBase f -> Maybe fghc-lib-parser GHC.Cmm.Dataflow.Label No documentation available.
lookupCoVar :: Subst -> Var -> Maybe Coercionghc-lib-parser GHC.Core.Coercion No documentation available.
lookupFamInstEnv :: FamInstEnvs -> TyCon -> [Type] -> [FamInstMatch]ghc-lib-parser GHC.Core.FamInstEnv No documentation available.
lookupFamInstEnvByTyCon :: FamInstEnvs -> TyCon -> [FamInst]ghc-lib-parser GHC.Core.FamInstEnv No documentation available.
lookupFamInstEnvConflicts :: FamInstEnvs -> FamInst -> [FamInst]ghc-lib-parser GHC.Core.FamInstEnv No documentation available.
lookupFamInstEnvInjectivityConflicts :: [Bool] -> FamInstEnvs -> FamInst -> [CoAxBranch]ghc-lib-parser GHC.Core.FamInstEnv Check whether an open type family equation can be added to already existing instance environment without causing conflicts with supplied injectivity annotations. Returns list of conflicting axioms (type instance declarations).
lookupInstEnv :: Bool -> InstEnvs -> Class -> [Type] -> ClsInstLookupResultghc-lib-parser GHC.Core.InstEnv See Note [Rules for instance lookup] ^ See Note [Safe Haskell Overlapping Instances] in GHC.Tc.Solver ^ See Note [Safe Haskell Overlapping Instances Implementation] in GHC.Tc.Solver
-
ghc-lib-parser GHC.Core.InstEnv Look up an instance in the given instance environment. The given class application must match exactly one instance and the match may not contain any flexi type variables. If the lookup is unsuccessful, yield 'Left errorMessage'.
lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe aghc-lib-parser GHC.Core.Map.Expr No documentation available.