ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Util.Stream

Documentation

data Stream a Source #

Constructors

a :< (Stream a) 

Instances

Instances details
Foldable Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

foldMonoid m ⇒ Stream m → m #

foldMapMonoid 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 #

toListStream a → [a] #

nullStream a → Bool #

lengthStream a → Int #

elemEq a ⇒ a → Stream a → Bool #

maximumOrd a ⇒ Stream a → a #

minimumOrd a ⇒ Stream a → a #

sumNum a ⇒ Stream a → a #

productNum a ⇒ Stream a → a #

Traversable Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

traverseApplicative f ⇒ (a → f b) → Stream a → f (Stream b) #

sequenceAApplicative f ⇒ Stream (f a) → f (Stream a) #

mapMMonad m ⇒ (a → m b) → Stream a → m (Stream b) #

sequenceMonad m ⇒ Stream (m a) → m (Stream a) #

Functor Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

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

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

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

Defined in Test.Util.Stream

Methods

showsPrecIntStream a → ShowS #

showStream a → String #

showList ∷ [Stream a] → ShowS #

nubOrdByOrd b ⇒ (a → b) → Set b → Stream a → Stream a Source #