| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.Arbitrary
Contents
Synopsis
- module Test.Cardano.Ledger.Binary.Arbitrary
- genAddrBadPtr ∷ Gen Addr
- genCompactAddrBadPtr ∷ Gen CompactAddr
- genBadPtr ∷ Gen Ptr
- genericShrinkMemo ∷ ∀ era a. (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
genAddrBadPtr ∷ Gen Addr Source #
Deprecated: Addresses with bad pointers are no longer possible
genCompactAddrBadPtr ∷ Gen CompactAddr Source #
Deprecated: Addresses with bad pointers are no longer possible
Deprecated: Bad pointers are no longer possible
Generate a Ptr with full 64bit range for values. Not allowed starting in Babbage
genericShrinkMemo ∷ ∀ era a. (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 |