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. removeOldInteractionScope :: InteractionId -> CommandM ()

   Agda	Agda.Interaction.InteractionTop

   No documentation available.

2. runInteraction :: IOTCM -> CommandM ()

   Agda	Agda.Interaction.InteractionTop

   Run an IOTCM value, catch the exceptions, emit output If an error happens the state of CommandM does not change, but stPersistent may change (which contains successfully loaded interfaces for example).

3. sortInteractionPoints :: (MonadInteractionPoints m, MonadError TCErr m, MonadDebug m) => [InteractionId] -> m [InteractionId]

   Agda	Agda.Interaction.InteractionTop

   Sorts interaction points based on their ranges.

4. updateInteractionPointsAfter :: Interaction -> Bool

   Agda	Agda.Interaction.InteractionTop

   Should Resp_InteractionPoints be issued after the command has run?

5. defaultInteractionOptions :: PragmaOptions

   Agda	Agda.Interaction.Options

   No documentation available.

6. optGHCiInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction mode.

7. optGHCiInteraction :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   --interaction mode.

8. optInteractive :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   Agda REPL (-I).

9. optInteractive :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   Agda REPL (-I).

10. optJSONInteraction :: CommandLineOptions -> Bool

    Agda	Agda.Interaction.Options

    --interaction-json mode.

Page 30 of many | Previous | Next