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

2. RunAndLogSteps :: SingleStep

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

   No documentation available.

3. data SingleStep

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

   No documentation available.

4. SingleStep :: SingleStep

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

   No documentation available.

5. execSingleStep :: ExecOptions -> SingleStep

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

   stepping mode

6. isStep :: SingleStep -> Bool

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

   No documentation available.

7. singleStep :: EvalOpts -> Bool

   ghc-lib-parser	GHCi.Message

   No documentation available.

8. leStep :: forall (n :: Nat) (m :: Nat) . LEProof n m -> LEProof n ('S m)

   fin	Data.Type.Nat.LE

9. leStepL :: forall (n :: Nat) (m :: Nat) . LEProof ('S n) m -> LEProof n m

   fin	Data.Type.Nat.LE

10. module Data.Type.Nat.LE.ReflStep

    No documentation available.

Page 50 of many | Previous | Next