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.

Exact lookup

1. lookupSection :: (Functor m, ReadTCState m) => ModuleName -> m Telescope

   Agda	Agda.TypeChecking.Monad.Signature

   Lookup a section telescope. If it doesn't exist, like in hierarchical top-level modules, the section telescope is empty.

2. lookupBackend :: ReadTCState m => BackendName -> m (Maybe Backend)

   Agda	Agda.TypeChecking.Monad.State

   Look for a backend of the given name.

3. lookupDefinition :: QName -> Signature -> Maybe Definition

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

4. lookupPatternSyn :: AmbiguousQName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

5. lookupSinglePatternSyn :: QName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

6. lookupPrimitiveFunction :: PrimitiveId -> TCM PrimitiveImpl

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Serialise.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.SizedTypes.WarshallSolver

   No documentation available.

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

    Agda	Agda.TypeChecking.Substitute.Class

    No documentation available.

Page 120 of many | Previous | Next