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.

Exact lookup

1. lookupFamInstEnv :: FamInstEnvs -> TyCon -> [Type] -> [FamInstMatch]

   ghc	GHC.Core.FamInstEnv

   No documentation available.

2. lookupFamInstEnvByTyCon :: FamInstEnvs -> TyCon -> [FamInst]

   ghc	GHC.Core.FamInstEnv

   No documentation available.

3. lookupFamInstEnvConflicts :: FamInstEnvs -> FamInst -> [FamInst]

   ghc	GHC.Core.FamInstEnv

   No documentation available.

4. lookupFamInstEnvInjectivityConflicts :: [Bool] -> FamInstEnvs -> FamInst -> [CoAxBranch]

   ghc	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).

5. lookupInstEnv :: Bool -> InstEnvs -> Class -> [Type] -> ClsInstLookupResult

   ghc	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

6. lookupUniqueInstEnv :: InstEnvs -> Class -> [Type] -> Either LookupInstanceErrReason (ClsInst, [Type])

   ghc	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'.

7. lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe a

   ghc	GHC.Core.Map.Expr

   No documentation available.

8. lookupTM :: TrieMap m => Key m -> m b -> Maybe b

   ghc	GHC.Core.Map.Expr

   No documentation available.

9. lookupCME :: CmEnv -> Var -> Maybe BoundVar

   ghc	GHC.Core.Map.Type

   No documentation available.

10. lookupTM :: TrieMap m => Key m -> m b -> Maybe b

    ghc	GHC.Core.Map.Type

    No documentation available.

Page 43 of many | Previous | Next