consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Ledger.Tables.DiffSeq

Documentation

tests ∷ TestTree Source #

Orphan instances

Arbitrary Length Source # 
Instance details

Methods

arbitrary ∷ Gen Length Source #

shrink ∷ Length → [Length] Source #

Arbitrary SlotNoLB Source # 
Instance details

Methods

arbitrary ∷ Gen SlotNoLB Source #

shrink ∷ SlotNoLB → [SlotNoLB] Source #

Arbitrary SlotNoUB Source # 
Instance details

Methods

arbitrary ∷ Gen SlotNoUB Source #

shrink ∷ SlotNoUB → [SlotNoUB] Source #

Arbitrary1 StrictMaybe Source # 
Instance details

Methods

liftArbitrary ∷ Gen a → Gen (StrictMaybe a) Source #

liftShrink ∷ (a → [a]) → StrictMaybe a → [StrictMaybe a] Source #

Arbitrary v ⇒ Arbitrary (Delta v) Source # 
Instance details

Methods

arbitrary ∷ Gen (Delta v) Source #

shrink ∷ Delta v → [Delta v] Source #

Arbitrary v ⇒ Arbitrary (DeltaHistory v) Source # 
Instance details

Methods

arbitrary ∷ Gen (DeltaHistory v) Source #

shrink ∷ DeltaHistory v → [DeltaHistory v] Source #

(Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (Diff k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (Diff k v) Source #

shrink ∷ Diff k v → [Diff k v] Source #

Arbitrary (InternalMeasure k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (InternalMeasure k v) Source #

shrink ∷ InternalMeasure k v → [InternalMeasure k v] Source #

(Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (RootMeasure k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (RootMeasure k v) Source #

shrink ∷ RootMeasure k v → [RootMeasure k v] Source #

(SuperMeasured vt vi a, Arbitrary a) ⇒ Arbitrary (StrictFingerTree vt vi a) Source # 
Instance details

Methods

arbitrary ∷ Gen (StrictFingerTree vt vi a) Source #

shrink ∷ StrictFingerTree vt vi a → [StrictFingerTree vt vi a] Source #