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. isInteractionMetaB :: (ReadTCState m, MonadReduce m, MonadPretty m) => MetaId -> Args -> m (Maybe (MetaId, InteractionId, Args))

   Agda	Agda.TypeChecking.MetaVars

   Is the given metavariable application secretly an interaction point application? Ugly.

2. NoActionForInteractionPoint :: InteractionId -> InteractionError

   Agda	Agda.TypeChecking.Monad.Base

   Interaction point has not been reached during type checking.

3. NoSuchInteractionPoint :: InteractionId -> InteractionError

   Agda	Agda.TypeChecking.Monad.Base

   InteractionId does not resolve to an InteractionPoint.

4. UnsolvedInteractionMetas :: Set1 Range -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Do not use directly with warning

5. defaultInteractionOutputCallback :: InteractionOutputCallback

   Agda	Agda.TypeChecking.Monad.Base

   The default InteractionOutputCallback function prints certain things to stdout (other things generate internal errors).

6. lensFreshInteractionId :: Lens' PreScopeState InteractionId

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. lensInteractionPoints :: Lens' PostScopeState InteractionPoints

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. stFreshInteractionId :: Lens' TCState InteractionId

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. stInteractionOutputCallback :: PersistentTCState -> InteractionOutputCallback

   Agda	Agda.TypeChecking.Monad.Base

   Callback function to call when there is a response to give to the interactive frontend. See the documentation of InteractionOutputCallback.

10. stInteractionPoints :: Lens' TCState InteractionPoints

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 33 of many | Previous | Next