Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. withSteps :: (Rational -> Rational) -> Pattern a -> Pattern a

   tidal-core	Sound.Tidal.Pattern

   No documentation available.

2. _stepdrop :: Time -> Pattern a -> Pattern a

   tidal-core	Sound.Tidal.Stepwise

   No documentation available.

3. permstep :: RealFrac b => Int -> [a] -> Pattern b -> Pattern a

   tidal-core	Sound.Tidal.UI

   No documentation available.

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

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

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

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

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

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

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

Page 74 of many | Previous | Next