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.

  1. lookupBV' :: MonadTCEnv m => Nat -> m (Maybe ContextEntry)

    Agda Agda.TypeChecking.Monad.Context

    No documentation available.

  2. lookupBV_ :: Nat -> Context -> Maybe ContextEntry

    Agda Agda.TypeChecking.Monad.Context

    get type of bound variable (i.e. deBruijn index)

  3. lookupInteractionId :: (ReadTCState m, MonadError TCErr m, MonadTCEnv m) => InteractionId -> m MetaId

    Agda Agda.TypeChecking.Monad.MetaVars

    Get MetaId for an interaction point. Precondition: interaction point is connected.

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

    Agda Agda.TypeChecking.Monad.MetaVars

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

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

    Agda Agda.TypeChecking.Monad.MetaVars

    No documentation available.

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Get the information associated to an interaction point.

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Find information about the given local meta-variable.

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

    Agda Agda.TypeChecking.Monad.MetaVars

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

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

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

    Agda Agda.TypeChecking.Monad.MetaVars

    Find the meta-variable's instantiation.

Page 121 of many | Previous | Next