| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.Arbitrary
Contents
Synopsis
- module Test.Cardano.Ledger.Binary.Arbitrary
- genericShrinkMemo ∷ (Era era, EncCBOR (RawType (a era)), Memoized (a era), Generic (RawType (a era)), RecursivelyShrink (Rep (RawType (a era))), GSubterms (Rep (RawType (a era))) (RawType (a era))) ⇒ a era → [a era]
- genValidAndUnknownCostModels ∷ Gen CostModels
- genValidCostModel ∷ Language → Gen CostModel
- genValidCostModels ∷ Set Language → Gen CostModels
- uniformSubSet ∷ (StatefulGen g m, Ord k) ⇒ Maybe Int → Set k → g → m (Set k)
- uniformSubMap ∷ (StatefulGen g m, Ord k) ⇒ Maybe Int → Map k v → g → m (Map k v)
- uniformSubMapElems ∷ (StatefulGen g m, Monoid f) ⇒ (k → v → f → f) → Maybe Int → Map k v → g → m f
Documentation
genericShrinkMemo ∷ (Era era, EncCBOR (RawType (a era)), Memoized (a era), Generic (RawType (a era)), RecursivelyShrink (Rep (RawType (a era))), GSubterms (Rep (RawType (a era))) (RawType (a era))) ⇒ a era → [a era] Source #
Plutus
Utils
Will need to find a better home in the future
Arguments
| ∷ (StatefulGen g m, Monoid f) | |
| ⇒ (k → v → f → f) | |
| → Maybe Int | Size of the subMap. If supplied will be clamped to |
| → Map k v | |
| → g | |
| → m f |