Add type StateDeltaSeq.

This commit adds the `StateDeltaSeq` type, along with generators, shrinkers, and property tests. The 'StateDeltaSeq' type provides a way to model an abstract sequence of state transitions, where each transition consists of an initial state value, a delta value, and a final state value.
cardano-foundation · Sep 23, 2022 · 6643d0a · 6643d0a
1 parent a239567
commit 6643d0a
Show file tree

Hide file tree

Showing 3 changed files with 1,197 additions and 0 deletions.
diff --git a/lib/wallet/cardano-wallet.cabal b/lib/wallet/cardano-wallet.cabal
@@ -322,6 +322,7 @@ library
     Cardano.Wallet.Primitive.Types.Redeemer
     Cardano.Wallet.Primitive.Types.RewardAccount
     Cardano.Wallet.Primitive.Types.RewardAccount.Gen
+    Cardano.Wallet.Primitive.Types.StateDeltaSeq
     Cardano.Wallet.Primitive.Types.TokenBundle
     Cardano.Wallet.Primitive.Types.TokenBundle.Gen
     Cardano.Wallet.Primitive.Types.TokenMap
@@ -749,6 +750,7 @@ test-suite unit
     Cardano.Wallet.Primitive.Types.AddressSpec
     Cardano.Wallet.Primitive.Types.CoinSpec
     Cardano.Wallet.Primitive.Types.HashSpec
+    Cardano.Wallet.Primitive.Types.StateDeltaSeqSpec
     Cardano.Wallet.Primitive.Types.TokenBundleSpec
     Cardano.Wallet.Primitive.Types.TokenMapSpec
     Cardano.Wallet.Primitive.Types.TokenMapSpec.TypeErrorSpec