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.

  1. HiSteps :: PlotType

    gnuplot Graphics.Gnuplot.Simple

    No documentation available.

  2. cellStep :: Cell (m :: Type -> Type) a b -> s -> a -> m (b, s)

    essence-of-live-coding LiveCoding.Cell

    No documentation available.

  3. livestep :: Monad m => p -> m String

    essence-of-live-coding LiveCoding.GHCi

    Run one program step, assuming you have a launched program in a variable launchedProgram.

  4. liveStep :: LiveProgram (m :: Type -> Type) -> s -> m s

    essence-of-live-coding LiveCoding.LiveProgram

    No documentation available.

  5. ghciStepIoMClassOpKey :: Unique

    ghc-lib-parser GHC.Builtin.Names

    No documentation available.

  6. ghciStepIoMName :: Name

    ghc-lib-parser GHC.Builtin.Names

    No documentation available.

  7. NS_Step :: RecTcChecker -> Type -> ev -> NormaliseStepResult ev

    ghc-lib-parser GHC.Core.Coercion

    We stepped, yielding new bits; ^ ev is evidence; Usually a co :: old type ~ new type

  8. data NormaliseStepResult ev

    ghc-lib-parser GHC.Core.Coercion

    The result of stepping in a normalisation function. See topNormaliseTypeX.

  9. type NormaliseStepper ev = RecTcChecker -> TyCon -> [Type] -> NormaliseStepResult ev

    ghc-lib-parser GHC.Core.Coercion

    A function to check if we can reduce a type by one step. Used with topNormaliseTypeX.

  10. composeSteppers :: NormaliseStepper ev -> NormaliseStepper ev -> NormaliseStepper ev

    ghc-lib-parser GHC.Core.Coercion

    Try one stepper and then try the next, if the first doesn't make progress. So if it returns NS_Done, it means that both steppers are satisfied

Page 49 of many | Previous | Next