Test.Consensus.Ledger.Tables.Diff
Contents
lawsTestOne ∷ Typeable a ⇒ Proxy a → [Proxy a → Laws] → TestTree Source #
tests ∷ TestTree Source #
Methods
arbitrary ∷ Gen (Delta v) Source #
shrink ∷ Delta v → [Delta v] Source #
arbitrary ∷ Gen (Diff k v) Source #
shrink ∷ Diff k v → [Diff k v] Source #