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. simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

2. runTestsInteractive :: DisabledTests -> OptionSet -> TestTree -> IO Bool

   tasty-silver	Test.Tasty.Silver.Interactive

   A simple console UI.

3. yicesEnableInteractive :: ConfigOption BaseBoolType

   what4	What4.Solver

   Enable interactive mode (necessary for per-goal timeouts)

4. yicesEnableInteractive :: ConfigOption BaseBoolType

   what4	What4.Solver.Yices

   Enable interactive mode (necessary for per-goal timeouts)

5. backendInteraction :: AbsolutePath -> [Backend] -> TCM () -> (AbsolutePath -> TCM CheckResult) -> TCM ()

   Agda	Agda.Compiler.Backend

   No documentation available.

6. callBackendInteractHole :: BackendName -> String -> InteractionId -> Range -> String -> CommandM ()

   Agda	Agda.Compiler.Backend

   Call the backendInteractHole function of the given backend.

7. callBackendInteractTop :: BackendName -> String -> CommandM ()

   Agda	Agda.Compiler.Backend

   Call the backendInteractTop function of the given backend.

8. backendInteractHole :: Backend'_boot definition (tcm :: Type -> Type) opts env menv mod def -> Maybe (BackendCommandHole tcm)

   Agda	Agda.Compiler.Backend.Base

   Backend-specific hole-level interactive command.

9. backendInteractTop :: Backend'_boot definition (tcm :: Type -> Type) opts env menv mod def -> Maybe (BackendCommandTop tcm)

   Agda	Agda.Compiler.Backend.Base

   Backend-specific top-level interactive command.

10. type OldInteractionScopes = Map InteractionId ScopeInfo

    Agda	Agda.Interaction.Base

    No documentation available.

Page 29 of many | Previous | Next