ouroboros-consensus:unstable-consensus-testlib
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Util.Stream

Documentation

data Stream a Source #

Constructors

a :< (Stream a) 

Instances

Instances details
Functor Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

fmap ∷ (a → b) → Stream a → Stream b #

(<$) ∷ a → Stream b → Stream a #

Foldable Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

fold ∷ Monoid m ⇒ Stream m → m #

foldMap ∷ Monoid m ⇒ (a → m) → Stream a → m #

foldMap' ∷ Monoid m ⇒ (a → m) → Stream a → m #

foldr ∷ (a → b → b) → b → Stream a → b #

foldr' ∷ (a → b → b) → b → Stream a → b #

foldl ∷ (b → a → b) → b → Stream a → b #

foldl' ∷ (b → a → b) → b → Stream a → b #

foldr1 ∷ (a → a → a) → Stream a → a #

foldl1 ∷ (a → a → a) → Stream a → a #

toList ∷ Stream a → [a] #

null ∷ Stream a → Bool #

length ∷ Stream a → Int #

elem ∷ Eq a ⇒ a → Stream a → Bool #

maximum ∷ Ord a ⇒ Stream a → a #

minimum ∷ Ord a ⇒ Stream a → a #

sum ∷ Num a ⇒ Stream a → a #

product ∷ Num a ⇒ Stream a → a #

Traversable Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

traverse ∷ Applicative f ⇒ (a → f b) → Stream a → f (Stream b) #

sequenceA ∷ Applicative f ⇒ Stream (f a) → f (Stream a) #

mapM ∷ Monad m ⇒ (a → m b) → Stream a → m (Stream b) #

sequence ∷ Monad m ⇒ Stream (m a) → m (Stream a) #

Show a ⇒ Show (Stream a) Source # 
Instance details

Defined in Test.Util.Stream

Methods

showsPrec ∷ Int → Stream a → ShowS #

show ∷ Stream a → String #

showList ∷ [Stream a] → ShowS #

nubOrdBy ∷ Ord b ⇒ (a → b) → Set b → Stream a → Stream a Source #