Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. interactionErrorNameString :: InteractionError_ -> String

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

2. interactionInteractor :: InteractionFormat -> Interactor ()

   Agda	Agda.Main

   Emacs/JSON mode. Note that it ignores the "check" action because it calls typeCheck directly.

3. interactionId :: InteractionId -> Nat

   Agda	Agda.Syntax.Common

   No documentation available.

4. interactionErrorName :: InteractionError -> InteractionError_

   Agda	Agda.TypeChecking.Errors.Names

   No documentation available.

5. interactionError :: (HasCallStack, MonadTCError m) => InteractionError -> m a

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. interactive :: InitFlags -> Flag Bool

   cabal-install	Distribution.Client.Init.Types

   No documentation available.

7. interactive :: InitFlags -> Flag Bool

   cabal-install	Distribution.Client.Setup

   No documentation available.

8. interactivePolicy :: Policy

   saltine	Crypto.Saltine.Core.Password

   No documentation available.

9. interactive :: (Config -> Config) -> FilePath -> [String] -> IO ExitCode

   streamly-process	Streamly.Internal.System.Process

   Deprecated: Use foreground instead.

10. interactivePrint :: DynFlags -> Maybe String

    ghc-lib	GHC

    No documentation available.

Page 9 of many | Previous | Next