Hoogle Search
Within LTS Haskell 24.31 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
stInteractionOutputCallback :: PersistentTCState -> InteractionOutputCallbackAgda Agda.TypeChecking.Monad.Base Callback function to call when there is a response to give to the interactive frontend. See the documentation of InteractionOutputCallback.
stInteractionPoints :: Lens' TCState InteractionPointsAgda Agda.TypeChecking.Monad.Base No documentation available.
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.