Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. getInteractionRange :: (MonadInteractionPoints m, MonadDebug m, MonadError TCErr m) => InteractionId -> m Range

   Agda	Agda.TypeChecking.Monad.MetaVars

   Get the Range for an interaction point.

2. getInteractionScope :: (MonadDebug m, ReadTCState m, MonadError TCErr m, MonadTCEnv m) => InteractionId -> m ScopeInfo

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

3. getUnsolvedInteractionMetas :: (HasCallStack, MonadDebug m, ReadTCState m) => m [Range]

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   Does the meta variable correspond to an interaction point? Time: O(log n) where n is the number of interaction metas.

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

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

   Agda	Agda.TypeChecking.Monad.MetaVars

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

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   Get the information associated to an interaction point.

9. modifyInteractionPoints :: MonadInteractionPoints m => (InteractionPoints -> InteractionPoints) -> m ()

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

10. registerInteractionPoint :: MonadInteractionPoints m => Bool -> Range -> Maybe Nat -> m InteractionId

    Agda	Agda.TypeChecking.Monad.MetaVars

    Register an interaction point during scope checking. If there is no interaction id yet, create one.

Page 35 of many | Previous | Next