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.
stPostInteractionPoints :: PostScopeState -> !InteractionPointsAgda Agda.TypeChecking.Monad.Base No documentation available.
stPreFreshInteractionId :: PreScopeState -> !InteractionIdAgda Agda.TypeChecking.Monad.Base No documentation available.
NonInteractive :: HighlightingLevelAgda Agda.TypeChecking.Monad.Base.Types No documentation available.
class (MonadTCEnv m, ReadTCState m) =>
MonadInteractionPoints (m :: Type -> Type)Agda Agda.TypeChecking.Monad.MetaVars No documentation available.
connectInteractionPoint :: MonadInteractionPoints m => InteractionId -> MetaId -> m ()Agda Agda.TypeChecking.Monad.MetaVars Hook up a local meta-variable to an interaction point.
findInteractionPoint_ :: Range -> InteractionPoints -> Maybe InteractionIdAgda Agda.TypeChecking.Monad.MetaVars Find an interaction point by Range by searching the whole map. Issue 3000: Don't consider solved interaction points. O(n): linear in the number of registered interaction points.
freshInteractionId :: MonadInteractionPoints m => m InteractionIdAgda Agda.TypeChecking.Monad.MetaVars No documentation available.
getInteractionIdsAndMetas :: ReadTCState m => m [(InteractionId, MetaId)]Agda Agda.TypeChecking.Monad.MetaVars Get all metas that correspond to unsolved interaction ids.
getInteractionMetas :: ReadTCState m => m [MetaId]Agda Agda.TypeChecking.Monad.MetaVars Get all metas that correspond to unsolved interaction ids.
getInteractionPoints :: ReadTCState m => m [InteractionId]Agda Agda.TypeChecking.Monad.MetaVars Get a list of interaction ids.