Hoogle Search

Within LTS Haskell 24.61 (ghc-9.10.3)

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

Exact lookup

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find the meta-variable's judgement.

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   Find the meta-variable's modality.

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

   Agda	Agda.TypeChecking.Monad.Mutual

   No documentation available.

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

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

   Agda	Agda.TypeChecking.Monad.State

   Look for a backend of the given name.

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

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

7. lookupPatternSyn :: AmbiguousQName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

8. lookupSinglePatternSyn :: QName -> TCM PatternSynDefn

   Agda	Agda.TypeChecking.Monad.State

   No documentation available.

9. lookupPrimitiveFunction :: PrimitiveId -> TCM PrimitiveImpl

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

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

    Agda	Agda.TypeChecking.Primitive.Base

    No documentation available.

Page 122 of many | Previous | Next