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)
- 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 #
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 |