Hoogle Search
Within LTS Haskell 24.55 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc GHC.Core.Coercion The result of stepping in a normalisation function. See topNormaliseTypeX.
type
NormaliseStepper ev = RecTcChecker -> TyCon -> [Type] -> NormaliseStepResult evghc GHC.Core.Coercion A function to check if we can reduce a type by one step. Used with topNormaliseTypeX.
composeSteppers :: NormaliseStepper ev -> NormaliseStepper ev -> NormaliseStepper evghc 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
unwrapNewTypeStepper :: NormaliseStepper Coercionghc 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.
NS_Step :: RecTcChecker -> Type -> ev -> NormaliseStepResult evghc GHC.Plugins We stepped, yielding new bits; ^ ev is evidence; Usually a co :: old type ~ new type
-
ghc GHC.Plugins The result of stepping in a normalisation function. See topNormaliseTypeX.
type
NormaliseStepper ev = RecTcChecker -> TyCon -> [Type] -> NormaliseStepResult evghc GHC.Plugins A function to check if we can reduce a type by one step. Used with topNormaliseTypeX.
composeSteppers :: NormaliseStepper ev -> NormaliseStepper ev -> NormaliseStepper evghc 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
unwrapNewTypeStepper :: NormaliseStepper Coercionghc 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.
-
ghc GHC.Runtime.Eval No documentation available.