Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. InteractionPoint :: Range -> Maybe MetaId -> Bool -> IPClause -> IPBoundary -> InteractionPoint

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. type InteractionPoints = BiMap InteractionId InteractionPoint

   Agda	Agda.TypeChecking.Monad.Base

   Data structure managing the interaction points. We never remove interaction points from this map, only set their ipSolved to True. (Issue #2368)

3. Interactive :: HighlightingLevel

   Agda	Agda.TypeChecking.Monad.Base.Types

   This includes both non-interactive highlighting and interactive highlighting of the expression that is currently being type-checked.

4. Interactive :: ProfileOption

   Agda	Agda.Utils.ProfileOptions

   Measure time of interactive commands

5. class Monad m => Interactive (m :: Type -> Type)

   cabal-install	Distribution.Client.Init.Types

   No documentation available.

6. module Test.Falsify.Interactive

   Utilities for interaction with falsify in ghci

7. Interactive :: GnuplotOption

   easyplot	Graphics.EasyPlot

   keeps gnuplot open, so that you can interact with the plot (only usefull with X11)

8. data InteractiveImport

   ghc-lib	GHC

   No documentation available.

9. InteractiveName :: GetDocsFailure

   ghc-lib	GHC

   The Name was defined interactively.

10. module GHC.Driver.Config.Core.Lint.Interactive

    No documentation available.

Page 15 of many | Previous | Next