Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

Exact lookup

1. Interactive :: Bool -> Interactive

   tasty-silver	Test.Tasty.Silver.Interactive

   No documentation available.

2. Interactive :: ContentCategory

   type-of-html	Html.Type

   3.2.5.2.7 Interactive content

3. type Interaction = Interaction' Range

   Agda	Agda.Interaction.Base

   An interactive computation.

4. data Interaction' range

   Agda	Agda.Interaction.Base

   No documentation available.

5. module Agda.Interaction.InteractionTop

   No documentation available.

6. InteractionError_ :: InteractionError_ -> ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

7. data InteractionError_

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

8. InteractionMetaBoundaries_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

9. type InteractionOutputCallback = Response_boot TCErr TCWarning WarningsAndNonFatalErrors -> TCM ()

   Agda	Agda.Interaction.Response

   Callback fuction to call when there is a response to give to the interactive frontend. Note that the response is given in pieces and incrementally, so the user can have timely response even during long computations. Typical InteractionOutputCallback functions:

   • Convert the response into a String representation and print it on standard output (suitable for inter-process communication).
   • Put the response into a mutable variable stored in the closure of the InteractionOutputCallback function. (suitable for intra-process communication).

10. InteractionEmacs :: InteractionFormat

    Agda	Agda.Main

    --interaction.

Page 13 of many | Previous | Next