Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. lookupPatternSyn :: AmbiguousQName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

2. lookupSinglePatternSyn :: QName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

3. lookupPrimitiveFunction :: PrimitiveId -> TCM PrimitiveImpl

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

4. lookupPrimitiveFunctionQ :: QName -> TCM (PrimitiveId, PrimitiveImpl)

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

5. lookupME :: Proxy a -> Fingerprint -> MemoEntry -> (a -> b) -> b -> b

   Agda	Agda.TypeChecking.Serialise.Base

   No documentation available.

6. lookupEdge :: Ord n => Graph n e -> n -> n -> Maybe e

   Agda	Agda.TypeChecking.SizedTypes.WarshallSolver

   No documentation available.

7. lookupS :: EndoSubst a => Substitution' a -> Nat -> a

   Agda	Agda.TypeChecking.Substitute.Class

   No documentation available.

8. lookupMin :: BoolSet -> Maybe Bool

   Agda	Agda.Utils.BoolSet

   No documentation available.

9. lookupPath :: Ord k => [k] -> Trie k v -> [v]

   Agda	Agda.Utils.Trie

   Collect all values along a given path.

10. lookupTrie :: Ord k => [k] -> Trie k v -> Trie k v

    Agda	Agda.Utils.Trie

    Get the subtrie rooted at the given key.

Page 121 of many | Previous | Next