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. NoSuchInteractionPoint_ :: InteractionError_

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

2. UnsolvedInteractionMetas_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

3. defaultInteractionOutputCallback :: InteractionOutputCallback

   Agda	Agda.Interaction.Response

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

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

   Agda	Agda.Interaction.Response.Base

   No documentation available.

5. FrontEndInteraction :: InteractionFormat -> FrontendType

   Agda	Agda.Main

   --interaction or --interaction-json.

6. buildLibraryInteractor :: Interactor ()

   Agda	Agda.Main

   No documentation available.

7. defaultInteractor :: AbsolutePath -> Interactor ()

   Agda	Agda.Main

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

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

   Agda	Agda.Main

   No documentation available.

9. replInteractor :: Maybe AbsolutePath -> Interactor ()

   Agda	Agda.Main

   The (deprecated) repl mode.

10. newInteractionMetaArg :: ArgInfo -> ArgName -> Comparison -> Type -> TCM (MetaId, Term)

    Agda	Agda.TypeChecking.Implicit

    Create a questionmark (always UnificationMeta).

Page 32 of many | Previous | Next