| 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
- genValidUMap ∷ ∀ era. Era era ⇒ Gen UMap
- genValidUMapNonEmpty ∷ ∀ era. Era era ⇒ Gen UMap
- genValidUMapWithCreds ∷ ∀ era. Era era ⇒ Gen (UMap, Set (Credential 'Staking))
- genValidTuples ∷ ∀ era. Era era ⇒ Gen (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep)
- genValidTuplesNonEmpty ∷ ∀ era. Era era ⇒ Gen (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep)
- genInvariantNonEmpty ∷ ∀ era. Era era ⇒ Gen (Credential 'Staking, Ptr, UMap)
- genRightPreferenceUMap ∷ ∀ era. Era era ⇒ Gen (UMap, Map (Credential 'Staking) RDPair)
- genInsertDeleteRoundtripRDPair ∷ ∀ era. Era era ⇒ Gen (UMap, Credential 'Staking, RDPair)
- genInsertDeleteRoundtripPtr ∷ ∀ era. Era era ⇒ Gen (UMap, Ptr, Credential 'Staking)
- genInsertDeleteRoundtripSPool ∷ ∀ era. Era era ⇒ Gen (UMap, Credential 'Staking, KeyHash 'StakePool)
- genInsertDeleteRoundtripDRep ∷ ∀ era. Era era ⇒ Gen (UMap, Credential 'Staking, DRep)
- 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
genValidUMapWithCreds ∷ ∀ era. Era era ⇒ Gen (UMap, Set (Credential 'Staking)) Source #
genValidTuples ∷ ∀ era. Era era ⇒ Gen (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep) Source #
Used for testing UMap operations
genValidTuplesNonEmpty ∷ ∀ era. Era era ⇒ Gen (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep) Source #
genInvariantNonEmpty ∷ ∀ era. Era era ⇒ Gen (Credential 'Staking, Ptr, UMap) Source #
genRightPreferenceUMap ∷ ∀ era. Era era ⇒ Gen (UMap, Map (Credential 'Staking) RDPair) Source #
genInsertDeleteRoundtripRDPair ∷ ∀ era. Era era ⇒ Gen (UMap, Credential 'Staking, RDPair) Source #
genInsertDeleteRoundtripPtr ∷ ∀ era. Era era ⇒ Gen (UMap, Ptr, Credential 'Staking) Source #
genInsertDeleteRoundtripSPool ∷ ∀ era. Era era ⇒ Gen (UMap, Credential 'Staking, KeyHash 'StakePool) Source #
genInsertDeleteRoundtripDRep ∷ ∀ era. Era era ⇒ Gen (UMap, Credential 'Staking, DRep) Source #
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 |