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. ghciStepIoMName :: Name

   ghc	GHC.Builtin.Names

   No documentation available.

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

3. data NormaliseStepResult ev

   ghc	GHC.Core.Coercion

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

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

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

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

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

8. data NormaliseStepResult ev

   ghc	GHC.Plugins

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

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

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

Page 42 of many | Previous | Next