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.

  1. lookupInteractionMeta :: ReadTCState m => InteractionId -> m (Maybe MetaId)

    Agda Agda.TypeChecking.Monad.MetaVars

    Check whether an interaction id is already associated with a meta variable.

  2. lookupInteractionMeta_ :: InteractionId -> InteractionPoints -> Maybe MetaId

    Agda Agda.TypeChecking.Monad.MetaVars

    No documentation available.

  3. lookupInteractionPoint :: (ReadTCState m, MonadError TCErr m, MonadTCEnv m) => InteractionId -> m InteractionPoint

    Agda Agda.TypeChecking.Monad.MetaVars

    Get the information associated to an interaction point.

  4. lookupLocalMeta :: (HasCallStack, MonadDebug m, ReadTCState m) => MetaId -> m MetaVariable

    Agda Agda.TypeChecking.Monad.MetaVars

    Find information about the given local meta-variable.

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

    Agda Agda.TypeChecking.Monad.MetaVars

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

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

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Find the meta-variable's instantiation.

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Find the meta-variable's judgement.

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Find the meta-variable's modality.

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

    Agda Agda.TypeChecking.Monad.Mutual

    No documentation available.

Page 119 of many | Previous | Next