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. lookupLocalMeta :: (HasCallStack, MonadDebug m, ReadTCState m) => MetaId -> m MetaVariable

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find information about the given local meta-variable.

2. lookupLocalMeta' :: ReadTCState m => MetaId -> m (Maybe MetaVariable)

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find information about the given local meta-variable, if any.

3. lookupMeta :: ReadTCState m => MetaId -> m (Maybe (Either RemoteMetaVariable MetaVariable))

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find information about the (local or remote) meta-variable, if any. If no meta-variable is found, then the reason could be that the dead-code elimination (eliminateDeadCode) failed to find the meta-variable, perhaps because some NamesIn instance is incorrectly defined.

4. lookupMetaInstantiation :: ReadTCState m => MetaId -> m MetaInstantiation

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find the meta-variable's instantiation.

5. lookupMetaJudgement :: ReadTCState m => MetaId -> m (Judgement MetaId)

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find the meta-variable's judgement.

6. lookupMetaModality :: ReadTCState m => MetaId -> m Modality

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find the meta-variable's modality.

7. lookupMutualBlock :: ReadTCState tcm => MutualId -> tcm MutualBlock

   Agda	Agda.TypeChecking.Monad.Mutual

   No documentation available.

8. 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.

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

   Agda	Agda.TypeChecking.Monad.State

   Look for a backend of the given name.

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

    Agda	Agda.TypeChecking.Monad.State

    No documentation available.

Page 120 of many | Previous | Next