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.

Exact lookup

1. unwrapNewTypeStepper :: NormaliseStepper Coercion

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

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

   ghc	GHC.Plugins

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

3. data NormaliseStepResult ev

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

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

5. composeSteppers :: NormaliseStepper ev -> NormaliseStepper ev -> NormaliseStepper ev

   ghc	GHC.Plugins

   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

6. unwrapNewTypeStepper :: NormaliseStepper Coercion

   ghc	GHC.Plugins

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

7. RunAndLogSteps :: SingleStep

   ghc	GHC.Runtime.Eval

   No documentation available.

8. data SingleStep

   ghc	GHC.Runtime.Eval

   No documentation available.

9. SingleStep :: SingleStep

   ghc	GHC.Runtime.Eval

   No documentation available.

10. execSingleStep :: ExecOptions -> SingleStep

    ghc	GHC.Runtime.Eval

    stepping mode

Page 44 of many | Previous | Next