cardano-ledger-mary-1.10.0.0: Cardano ledger with multiasset support.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Mary.Arbitrary

Synopsis

Documentation

genMultiAssetCompletelyEmpty ∷ Gen MultiAsset Source #

Generate completely empty MultiAsset (empty top-level map) This should succeed in Conway but fail in Dijkstra

genMultiAssetNestedEmpty ∷ Gen MultiAsset Source #

Generate MultiAsset with non-empty top-level map but empty nested asset maps This should fail in both Conway and Dijkstra

genMaryValue ∷ Gen MultiAsset → Gen MaryValue Source #

genMultiAsset ∷ Gen Integer → Gen MultiAsset Source #

genMultiAssetToFail ∷ Bool → Gen MultiAsset Source #

genMultiAssetZero ∷ Gen MultiAsset Source #

For tests, because insertMultiAsset called through genMultiAsset filters out zero values

genPositiveInt ∷ Gen Int Source #

Better generator for a positive Int that explores more values

genNegativeInt ∷ Gen Int Source #

Better generator for a Negative Int that explores more values

genNonNegativeInt ∷ Gen Int Source #

Better generator for a Non-Negative Int that explores more values

Orphan instances