Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. RunAndLogSteps :: SingleStep

    ghc GHC

    No documentation available.

  2. data SingleStep

    ghc GHC

    No documentation available.

  3. SingleStep :: SingleStep

    ghc GHC

    No documentation available.

  4. execSingleStep :: ExecOptions -> SingleStep

    ghc GHC

    stepping mode

  5. ghciStepIoMClassOpKey :: Unique

    ghc GHC.Builtin.Names

    No documentation available.

  6. ghciStepIoMName :: Name

    ghc GHC.Builtin.Names

    No documentation available.

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

    ghc GHC.Core.Coercion

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

  8. data NormaliseStepResult ev

    ghc GHC.Core.Coercion

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

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

    ghc 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 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 43 of many | Previous | Next