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.

Exact lookup

1. hasSteps :: Pattern a -> Bool

   tidal-core	Sound.Tidal.Pattern

   No documentation available.

2. keepSteps :: Pattern a -> Pattern b -> Pattern b

   tidal-core	Sound.Tidal.Pattern

   No documentation available.

3. setSteps :: Maybe Rational -> Pattern a -> Pattern a

   tidal-core	Sound.Tidal.Pattern

   No documentation available.

4. setStepsFrom :: Pattern b -> Pattern a -> Pattern a

   tidal-core	Sound.Tidal.Pattern

   No documentation available.

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

   tidal-core	Sound.Tidal.Pattern

   No documentation available.

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

   tidal-core	Sound.Tidal.Stepwise

   No documentation available.

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

   tidal-core	Sound.Tidal.UI

   No documentation available.

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

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

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

Page 74 of many | Previous | Next