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. optJSONInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction-json mode.

2. NoActionForInteractionPoint_ :: InteractionError_

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

3. NoSuchInteractionPoint_ :: InteractionError_

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

4. UnsolvedInteractionMetas_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

5. defaultInteractionOutputCallback :: InteractionOutputCallback

   Agda	Agda.Interaction.Response

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

6. Resp_InteractionPoints :: [InteractionId] -> Response_boot tcErr tcWarning warningsAndNonFatalErrors

   Agda	Agda.Interaction.Response.Base

   No documentation available.

7. FrontEndInteraction :: InteractionFormat -> FrontendType

   Agda	Agda.Main

   --interaction or --interaction-json.

8. buildLibraryInteractor :: Interactor ()

   Agda	Agda.Main

   No documentation available.

9. defaultInteractor :: AbsolutePath -> Interactor ()

   Agda	Agda.Main

   The interactor to use when there are no frontends or backends specified.

10. getInteractor :: MonadError String m => [Backend] -> Maybe AbsolutePath -> CommandLineOptions -> m (Maybe (Interactor ()))

    Agda	Agda.Main

    No documentation available.

Page 31 of many | Previous | Next