| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Mary.Arbitrary
Contents
Synopsis
- genMultiAssetCompletelyEmpty ∷ Gen MultiAsset
- genMultiAssetNestedEmpty ∷ Gen MultiAsset
- genMaryValue ∷ Gen MultiAsset → Gen MaryValue
- genMultiAsset ∷ Gen Integer → Gen MultiAsset
- genMultiAssetToFail ∷ Bool → Gen MultiAsset
- genMultiAssetZero ∷ Gen MultiAsset
- genPositiveInt ∷ Gen Int
- genNegativeInt ∷ Gen Int
- genNonNegativeInt ∷ Gen Int
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
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