tests

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.UMapSpec

Documentation

data Action Source #

Constructors

InsertRDPair (Credential 'Staking) RDPair
InsertPtr Ptr (Credential 'Staking)
InsertSPool (Credential 'Staking) (KeyHash 'StakePool)
InsertDRep (Credential 'Staking) DRep
DeleteRDPair (Credential 'Staking)
DeletePtr Ptr
DeleteSPool (Credential 'Staking)
DeleteDRep (Credential 'Staking)

Instances

Instances details

Arbitrary Action Source #
Instance details Defined in Test.Cardano.Ledger.UMapSpec Methods arbitrary ∷ Gen Action Source # shrink ∷ Action → [Action] Source #
Show Action Source #
Instance details Defined in Test.Cardano.Ledger.UMapSpec Methods showsPrec ∷ Int → Action → ShowS Source # show ∷ Action → String Source # showList ∷ [Action] → ShowS Source #

genRDPair ∷ Gen Action Source #

genPtr ∷ Gen Action Source #

genSPool ∷ Gen Action Source #

genDRep ∷ Gen Action Source #

reify ∷ Action → UMap → UMap Source #

reifyRDPair ∷ Action → UMap → UMap Source #

reifyPtr ∷ Action → UMap → UMap Source #

reifySPool ∷ Action → UMap → UMap Source #

reifyDRep ∷ Action → UMap → UMap Source #

runActions ∷ [Action] → UMap → UMap Source #

runRDPairs ∷ [Action] → UMap → UMap Source #

runPtrs ∷ [Action] → UMap → UMap Source #

runSPools ∷ [Action] → UMap → UMap Source #

runDReps ∷ [Action] → UMap → UMap Source #

sizeTest ∷ (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep) → IO () Source #

unifyRoundTripTo ∷ (Map (Credential 'Staking) RDPair, Map Ptr (Credential 'Staking), Map (Credential 'Staking) (KeyHash 'StakePool), Map (Credential 'Staking) DRep) → IO () Source #

unifyRoundTripFrom ∷ [Action] → Property Source #

oldUnionRewAgg ∷ UView (Credential 'Staking) RDPair → Map (Credential 'Staking) (CompactForm Coin) → UMap Source #

spec ∷ Spec Source #