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. permstep :: RealFrac b => Int -> [a] -> Pattern b -> Pattern a

   tidal-core	Sound.Tidal.UI

   No documentation available.

2. cmpSuccStepR :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> (CmpNat n m :~: 'LT) -> CmpNat n (Succ m) :~: 'LT

   type-natural	Data.Type.Natural.Lemma.Order

   No documentation available.

3. leqStep :: forall (n :: Nat) (m :: Nat) (l :: Nat) . SNat n -> SNat m -> SNat l -> ((n + l) :~: m) -> IsTrue (n <=? m)

   type-natural	Data.Type.Natural.Lemma.Order

   No documentation available.

4. leqSuccStepL :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> IsTrue (Succ n <=? m) -> IsTrue (n <=? m)

   type-natural	Data.Type.Natural.Lemma.Order

   No documentation available.

5. leqSuccStepR :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> IsTrue (n <=? m) -> IsTrue (n <=? Succ m)

   type-natural	Data.Type.Natural.Lemma.Order

   No documentation available.

6. lneqSuccStepL :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> IsTrue (Succ n <? m) -> IsTrue (n <? m)

   type-natural	Data.Type.Natural.Lemma.Order

   No documentation available.

7. lneqSuccStepR :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> IsTrue (n <? m) -> IsTrue (n <? Succ m)

   type-natural	Data.Type.Natural.Lemma.Order

   No documentation available.

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

   vector-stream	Data.Stream.Monadic

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

9. TraceStep :: (Text, Text) -> UnpickleError -> UnpickleError

   xml-picklers	Data.XML.Pickle

   No documentation available.

10. completionStep :: (?cutoff :: CutOff, Monoid cinfo) => CallGraph cinfo -> CallGraph cinfo -> (CallGraph cinfo, CallGraph cinfo)

    Agda	Agda.Termination.CallGraph

    No documentation available.

Page 75 of many | Previous | Next