cardano-ledger-byron-test

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Chain.Byron.API

Synopsis

genApplyMempoolPayloadErr ∷ ProtocolMagicId → Gen ApplyMempoolPayloadErr
ts_mempoolValidation ∷ TSProperty
ts_roundTripApplyMempoolPayloadErrCompat ∷ TSProperty
ts_scheduledDelegations ∷ TSProperty
tests ∷ TSGroup

Documentation

genApplyMempoolPayloadErr ∷ ProtocolMagicId → Gen ApplyMempoolPayloadErr Source #

ts_mempoolValidation ∷ TSProperty Source #

A transaction should validate in the mempool at a given slot when it validates in a block issued for that same slot.

ts_roundTripApplyMempoolPayloadErrCompat ∷ TSProperty Source #

ts_scheduledDelegations ∷ TSProperty Source #

getDelegationMap . applyChainTick slot == previewDelegationMap slot

tests ∷ TSGroup Source #