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

Safe Haskell	None
Language	Haskell2010

Cardano.Wallet.Primitive.Types.Coin.Gen

Synopsis

chooseCoin :: ( Coin , Coin ) -> Gen Coin
genCoin :: Gen Coin
genCoinPositive :: Gen Coin
shrinkCoin :: Coin -> [ Coin ]
shrinkCoinPositive :: Coin -> [ Coin ]
genCoinPartition :: Coin -> Int -> Gen ( NonEmpty Coin )

Documentation

chooseCoin :: ( Coin , Coin ) -> Gen Coin Source #

genCoin :: Gen Coin Source #

genCoinPositive :: Gen Coin Source #

shrinkCoin :: Coin -> [ Coin ] Source #

shrinkCoinPositive :: Coin -> [ Coin ] Source #

genCoinPartition :: Coin -> Int -> Gen ( NonEmpty Coin ) Source #

Partitions a coin randomly into a given number of parts.

Satisfies the following properties:

forAll (genCoinPartition c i) $ (==       c) . fold

forAll (genCoinPartition c i) $ (== max 1 i) . length