consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Ledger.Tables.Diff

Documentation

lawsTestOne ∷ Typeable a ⇒ Proxy a → [Proxy a → Laws] → TestTree Source #

tests ∷ TestTree Source #

Orphan instances

Arbitrary v ⇒ Arbitrary (Delta v) Source # 
Instance details

Methods

arbitrary ∷ Gen (Delta v) Source #

shrink ∷ Delta v → [Delta v] Source #

(Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (Diff k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (Diff k v) Source #

shrink ∷ Diff k v → [Diff k v] Source #