ouroboros-consensus-test-0.1.0.0: Tests of the consensus layer
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 Source #

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

Foldable Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

foldMonoid m ⇒ Stream m → m Source #

foldMapMonoid m ⇒ (a → m) → Stream a → m Source #

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

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

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

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

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

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

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

toListStream a → [a] Source #

nullStream a → Bool Source #

lengthStream a → Int Source #

elemEq a ⇒ a → Stream a → Bool Source #

maximumOrd a ⇒ Stream a → a Source #

minimumOrd a ⇒ Stream a → a Source #

sumNum a ⇒ Stream a → a Source #

productNum a ⇒ Stream a → a Source #

Traversable Stream Source # 
Instance details

Defined in Test.Util.Stream

Methods

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

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

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

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

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

Defined in Test.Util.Stream

Methods

showsPrecIntStream a → ShowS Source #

showStream a → String Source #

showList ∷ [Stream a] → ShowS Source #

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