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. ginteractive :: Config -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   interactive gradual solving

2. UnhelpfulInteractive :: UnhelpfulSpanReason

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

3. simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

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

   tasty-silver	Test.Tasty.Silver.Interactive

   A simple console UI.

5. yicesEnableInteractive :: ConfigOption BaseBoolType

   what4	What4.Solver

   Enable interactive mode (necessary for per-goal timeouts)

6. yicesEnableInteractive :: ConfigOption BaseBoolType

   what4	What4.Solver.Yices

   Enable interactive mode (necessary for per-goal timeouts)

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

   Agda	Agda.Compiler.Backend

   No documentation available.

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

   Agda	Agda.Compiler.Backend

   Call the backendInteractHole function of the given backend.

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

   Agda	Agda.Compiler.Backend

   Call the backendInteractTop function of the given backend.

10. 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.

Page 28 of many | Previous | Next