Hoogle Search

Within LTS Haskell 24.19 (ghc-9.10.3)

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

Exact lookup

1. validSequence :: Int -> Integer -> SList Integer -> SList State -> SBool

   sbv	Documentation.SBV.Examples.Lists.BoundedMutex

   A sequence is valid upto a bound if it starts at Idle, and follows the mutex rules. That is:

   • From Idle it can switch to Ready or stay Idle
   • From Ready it can switch to Critical if it's its turn
   • From Critical it can either stay in Critical or go back to Idle
   The variable me identifies the agent id.

2. isSubsequenceOf :: (Monad m, Eq a) => Stream m a -> Stream m a -> m Bool

   streamly-core	Streamly.Data.Stream

   Returns True if all the elements of the first stream occur, in order, in the second stream. The elements do not have to occur consecutively. A stream is a subsequence of itself.

   >>> Stream.isSubsequenceOf (Stream.fromList "hlo") (Stream.fromList "hello" :: Stream IO Char)
   True
   

3. concatSequence :: forall (m :: Type -> Type) b c t a . Fold m b c -> t (Fold m a b) -> Fold m a c

   streamly-core	Streamly.Internal.Data.Fold

   concatSequence f t applies folds from stream t sequentially and collects the results using the fold f. Unimplemented

4. subsequenceBy :: forall a (m :: Type -> Type) . (a -> a -> Bool) -> Stream m a -> Parser a m ()

   streamly-core	Streamly.Internal.Data.Parser

   Match if the input stream is a subsequence of the argument stream i.e. all the elements of the input stream occur, in order, in the argument stream. The elements do not have to occur consecutively. A sequence is considered a subsequence of itself.

5. foldSequence :: forall (m :: Type -> Type) a b . Stream m (Fold m a b) -> Stream m a -> Stream m b

   streamly-core	Streamly.Internal.Data.Stream

   Apply a stream of folds to an input stream and emit the results in the output stream. Unimplemented

6. isSubsequenceOf :: (Monad m, Eq a) => Stream m a -> Stream m a -> m Bool

   streamly-core	Streamly.Internal.Data.Stream

   Returns True if all the elements of the first stream occur, in order, in the second stream. The elements do not have to occur consecutively. A stream is a subsequence of itself.

   >>> Stream.isSubsequenceOf (Stream.fromList "hlo") (Stream.fromList "hello" :: Stream IO Char)
   True
   

7. parseSequence :: forall (m :: Type -> Type) a b . Stream m (Parser a m b) -> Stream m a -> Stream m b

   streamly-core	Streamly.Internal.Data.Stream

   Apply a stream of parsers to an input stream and emit the results in the output stream. Unimplemented

8. renderSequence :: (Storable y, C q y, C u, C q) => ChunkSize -> T u q -> T StrictTime [Signal s u q (T y)] -> Signal s u q (T y)

   synthesizer-midi	Synthesizer.MIDI.Dimensional

   No documentation available.

9. type FilterSequence event signal = Filter event T ShortStrictTime signal

   synthesizer-midi	Synthesizer.MIDI.Generic

   No documentation available.

10. isRLSequence :: [Alignment] -> Bool

    texmath	Text.TeXMath.Shared

    No documentation available.

Page 71 of many | Previous | Next