Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

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

   essence-of-live-coding	LiveCoding.LiveProgram

   No documentation available.

2. ghciStepIoMClassOpKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

3. ghciStepIoMName :: Name

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

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

5. data NormaliseStepResult ev

   ghc-lib-parser	GHC.Core.Coercion

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

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

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

8. unwrapNewTypeStepper :: NormaliseStepper Coercion

   ghc-lib-parser	GHC.Core.Coercion

   A NormaliseStepper that unwraps newtypes, careful not to fall into a loop. If it would fall into a loop, it produces NS_Abort.

9. RunAndLogSteps :: SingleStep

   ghc-lib-parser	GHC.Runtime.Eval.Types

   No documentation available.

10. data SingleStep

    ghc-lib-parser	GHC.Runtime.Eval.Types

    No documentation available.

Page 51 of many | Previous | Next