tests
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.UMapSpec

Documentation

data Action Source #

Constructors

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

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 StandardCrypto → UMap StandardCrypto Source #

reifyRDPair ∷ Action → UMap StandardCrypto → UMap StandardCrypto Source #

reifyPtr ∷ Action → UMap StandardCrypto → UMap StandardCrypto Source #

reifySPool ∷ Action → UMap StandardCrypto → UMap StandardCrypto Source #

reifyDRep ∷ Action → UMap StandardCrypto → UMap StandardCrypto Source #

runActions ∷ [Action] → UMap StandardCrypto → UMap StandardCrypto Source #

runRDPairs ∷ [Action] → UMap StandardCrypto → UMap StandardCrypto Source #

runPtrs ∷ [Action] → UMap StandardCrypto → UMap StandardCrypto Source #

runSPools ∷ [Action] → UMap StandardCrypto → UMap StandardCrypto Source #

runDReps ∷ [Action] → UMap StandardCrypto → UMap StandardCrypto Source #

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

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

unifyRoundTripFrom ∷ [Action] → Property Source #

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

spec ∷ Spec Source #