| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.LedgerTables
Synopsis
- prop_hasledgertables_laws ∷ HasLedgerTables (LedgerState blk) ⇒ LedgerState blk EmptyMK → LedgerTables (LedgerState blk) ValuesMK → Property
- prop_stowable_laws ∷ (HasLedgerTables (LedgerState blk), CanStowLedgerTables (LedgerState blk)) ⇒ LedgerState blk EmptyMK → LedgerState blk ValuesMK → Property
Documentation
prop_hasledgertables_laws ∷ HasLedgerTables (LedgerState blk) ⇒ LedgerState blk EmptyMK → LedgerTables (LedgerState blk) ValuesMK → Property 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 EmptyMK → LedgerState blk ValuesMK → Property Source #
The StowableLedgerTables instances should follow these two laws:
stow . unstow == id
unstow . stow == id