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