Hoogle Search
Within LTS Haskell 24.61 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupAttrName :: AttrName -> RenderM n Attrbrick Brick.Types Given an attribute name, obtain the attribute for the attribute name by consulting the context's attribute map.
lookupAndDelete :: forall (m :: Type -> Type) a . Monad m => Focus a m (Maybe a)focus Focus Lookup an element and delete it if it exists. Same as lookup <* delete.
lookupWithDefault :: forall (m :: Type -> Type) a . Monad m => a -> Focus a m afocus Focus Reproduces the behaviour of Data.Map.findWithDefault with a better name.
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).