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. isStep :: SingleStep -> Bool

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

   No documentation available.

2. singleStep :: EvalOpts -> Bool

   ghc-lib-parser	GHCi.Message

   No documentation available.

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

   fin	Data.Type.Nat.LE

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

   fin	Data.Type.Nat.LE

5. module Data.Type.Nat.LE.ReflStep

   No documentation available.

6. LEStep :: forall (n :: Nat) (m1 :: Nat) . LEProof n m1 -> LEProof n ('S m1)

   fin	Data.Type.Nat.LE.ReflStep

   No documentation available.

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

   fin	Data.Type.Nat.LE.ReflStep

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

   fin	Data.Type.Nat.LE.ReflStep

9. enumFromStepN :: Num a => a -> a -> Int -> Vector a

   rebase	Rebase.Data.Vector

   No documentation available.

10. enumFromStepN :: forall a (m :: Type -> Type) . (Num a, Monad m) => a -> a -> Int -> Stream m a

    rebase	Rebase.Data.Vector.Fusion.Stream.Monadic

    Yield a Stream of the given length containing the values x, x+y, x+y+y etc.

Page 52 of many | Previous | Next