| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Mary.Arbitrary
Contents
Documentation
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
| Arbitrary AssetName Source # | |
| Arbitrary MaryValue Source # | |
| Arbitrary MultiAsset Source # | |
| Arbitrary PolicyID Source # | |
| Arbitrary (CompactForm MaryValue) Source # | |
Methods arbitrary ∷ Gen (CompactForm MaryValue) Source # shrink ∷ CompactForm MaryValue → [CompactForm MaryValue] Source # | |
| (EraTxOut era, EraTxCert era, Era era, Arbitrary (TxOut era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era)) ⇒ Arbitrary (MaryTxBody era) Source # | |