chain-rules-test

Safe Haskell	None
Language	Haskell2010

Test.Byron.Spec.Chain.STS.Properties

Synopsis

slotsIncrease ∷ Property
slotsIncreaseInTrace ∷ MonadTest m ⇒ Trace CHAIN → m ()
blockIssuersAreDelegates ∷ Property
onlyValidSignalsAreGenerated ∷ Property
signersListIsBoundedByK ∷ Property
relevantCasesAreCovered ∷ Property
traceDCertsByBlock ∷ Trace CHAIN → [[DCert]]
traceDCerts ∷ Trace CHAIN → [DCert]

Documentation

slotsIncrease ∷ Property Source #

slotsIncreaseInTrace ∷ MonadTest m ⇒ Trace CHAIN → m () Source #

blockIssuersAreDelegates ∷ Property Source #

onlyValidSignalsAreGenerated ∷ Property Source #

signersListIsBoundedByK ∷ Property Source #

relevantCasesAreCovered ∷ Property Source #

traceDCertsByBlock ∷ Trace CHAIN → [[DCert]] Source #

Extract the delegation certificates in the blocks, in the order they would have been applied.

traceDCerts ∷ Trace CHAIN → [DCert] Source #

Flattended list of DCerts for the given Trace