ouroboros-consensus-0.27.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Test.LedgerTables

Synopsis

Documentation

prop_hasledgertables_lawsHasLedgerTables (LedgerState blk) ⇒ LedgerState blk EmptyMKLedgerTables (LedgerState blk) ValuesMKProperty Source #

The HasLedgerTables instances should follow these two laws:

with . project == id
project . with == id

prop_stowable_laws ∷ (HasLedgerTables (LedgerState blk), CanStowLedgerTables (LedgerState blk)) ⇒ LedgerState blk EmptyMKLedgerState blk ValuesMKProperty Source #

The StowableLedgerTables instances should follow these two laws:

stow . unstow == id
unstow . stow == id