Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. lookupSinglePatternSyn :: QName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

2. lookupPrimitiveFunction :: PrimitiveId -> TCM PrimitiveImpl

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Serialise.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.SizedTypes.WarshallSolver

   No documentation available.

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

   Agda	Agda.TypeChecking.Substitute.Class

   No documentation available.

7. lookupMin :: BoolSet -> Maybe Bool

   Agda	Agda.Utils.BoolSet

   No documentation available.

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

   Agda	Agda.Utils.Trie

   Collect all values along a given path.

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

   Agda	Agda.Utils.Trie

   Get the subtrie rooted at the given key.

10. lookupRule :: Eq f => f -> [Rul f] -> Maybe (Cat, SentForm)

    BNFC	BNFC.CF

    No documentation available.

Page 122 of many | Previous | Next