cardano-wallet-core-2022.7.1: The Wallet Backend for a Cardano node.

Safe Haskell	None
Language	Haskell2010

Cardano.Wallet.Primitive.Types.TokenBundle.Gen

Synopsis

genTokenBundleSmallRange :: Gen TokenBundle
genTokenBundleSmallRangePositive :: Gen TokenBundle
genTokenBundle :: Gen TokenBundle
shrinkTokenBundle :: TokenBundle -> [ TokenBundle ]
shrinkTokenBundleSmallRange :: TokenBundle -> [ TokenBundle ]
shrinkTokenBundleSmallRangePositive :: TokenBundle -> [ TokenBundle ]
genTokenBundlePartition :: TokenBundle -> Int -> Gen ( NonEmpty TokenBundle )
genTokenBundlePartitionNonNull :: TokenBundle -> Int -> Gen [ TokenBundle ]

Documentation

genTokenBundleSmallRange :: Gen TokenBundle Source #

genTokenBundleSmallRangePositive :: Gen TokenBundle Source #

genTokenBundle :: Gen TokenBundle Source #

shrinkTokenBundle :: TokenBundle -> [ TokenBundle ] Source #

shrinkTokenBundleSmallRange :: TokenBundle -> [ TokenBundle ] Source #

shrinkTokenBundleSmallRangePositive :: TokenBundle -> [ TokenBundle ] Source #

genTokenBundlePartition :: TokenBundle -> Int -> Gen ( NonEmpty TokenBundle ) Source #

Partitions a token bundle randomly into a given number of parts.

Satisfies the following properties:

forAll (genTokenBundlePartition b i) $ (==       b) . fold

forAll (genTokenBundlePartition b i) $ (== max 1 i) . length

genTokenBundlePartitionNonNull :: TokenBundle -> Int -> Gen [ TokenBundle ] Source #

Like genTokenBundlePartition , but with empty values removed from the result.