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. sortInteractionPoints :: (MonadInteractionPoints m, MonadError TCErr m, MonadDebug m) => [InteractionId] -> m [InteractionId]

   Agda	Agda.Interaction.InteractionTop

   Sorts interaction points based on their ranges.

2. updateInteractionPointsAfter :: Interaction -> Bool

   Agda	Agda.Interaction.InteractionTop

   Should Resp_InteractionPoints be issued after the command has run?

3. defaultInteractionOptions :: PragmaOptions

   Agda	Agda.Interaction.Options

   No documentation available.

4. optGHCiInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction mode.

5. optGHCiInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction mode.

6. optInteractive :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   Agda REPL (-I).

7. optInteractive :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   Agda REPL (-I).

8. optJSONInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction-json mode.

9. optJSONInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction-json mode.

10. NoActionForInteractionPoint_ :: InteractionError_

    Agda	Agda.Interaction.Options.Errors

    No documentation available.

Page 31 of many | Previous | Next