Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. getInteractionMetas :: ReadTCState m => m [MetaId]

   Agda	Agda.TypeChecking.Monad.MetaVars

   Get all metas that correspond to unsolved interaction ids.

2. getInteractionPoints :: ReadTCState m => m [InteractionId]

   Agda	Agda.TypeChecking.Monad.MetaVars

   Get a list of interaction ids.

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   Get the Range for an interaction point.

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

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

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

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

   Agda	Agda.TypeChecking.Monad.MetaVars

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

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

   Agda	Agda.TypeChecking.Monad.MetaVars

   No documentation available.

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

    Agda	Agda.TypeChecking.Monad.MetaVars

    Get the information associated to an interaction point.

Page 34 of many | Previous | Next