| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Mary.Arbitrary
Contents
Synopsis
- genEmptyMultiAsset ∷ Crypto c ⇒ Gen (MultiAsset c)
- genMaryValue ∷ Gen (MultiAsset c) → Gen (MaryValue c)
- genMultiAsset ∷ ∀ c. Crypto c ⇒ Gen Integer → Gen (MultiAsset c)
- genMultiAssetToFail ∷ ∀ c. Crypto c ⇒ Bool → Gen (MultiAsset c)
- genMultiAssetZero ∷ Crypto c ⇒ Gen (MultiAsset c)
- genPositiveInt ∷ Gen Int
- genNegativeInt ∷ Gen Int
- genNonNegativeInt ∷ Gen Int
Documentation
genEmptyMultiAsset ∷ Crypto c ⇒ Gen (MultiAsset c) Source #
genMaryValue ∷ Gen (MultiAsset c) → Gen (MaryValue c) Source #
genMultiAsset ∷ ∀ c. Crypto c ⇒ Gen Integer → Gen (MultiAsset c) Source #
genMultiAssetToFail ∷ ∀ c. Crypto c ⇒ Bool → Gen (MultiAsset c) Source #
genMultiAssetZero ∷ Crypto c ⇒ Gen (MultiAsset c) 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 # | |
| Crypto c ⇒ Arbitrary (CompactForm (MaryValue c)) Source # | |
Methods arbitrary ∷ Gen (CompactForm (MaryValue c)) Source # shrink ∷ CompactForm (MaryValue c) → [CompactForm (MaryValue c)] Source # | |
| (EraTxOut era, EraTxCert era, Era era, Arbitrary (TxOut era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era)) ⇒ Arbitrary (MaryTxBody era) Source # | |
| Crypto c ⇒ Arbitrary (MaryValue c) Source # | |
| Crypto c ⇒ Arbitrary (MultiAsset c) Source # | |
| Crypto c ⇒ Arbitrary (PolicyID c) Source # | |