Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.Certs

Description

Specs necessary to generate, environment, state, and signal for the CERTS rule

Synopsis

bootstrapDStateSpec ∷ IsConwayUniv fn ⇒ CertsContext Conway → Specification fn (DState Conway)
coinToWord64 ∷ Coin → Word64
type CertsContext era = Map (RewardAccount (EraCrypto era)) Coin
txZero ∷ AlonzoTx Conway
certsEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (CertsEnv Conway)
projectEnv ∷ CertsEnv Conway → CertEnv Conway
listSeqPairSpec ∷ IsConwayUniv fn ⇒ CertsEnv Conway → CertState Conway → Specification fn ([ConwayTxCert Conway], Seq (ConwayTxCert Conway))
txCertsSpec ∷ IsConwayUniv fn ⇒ CertsEnv Conway → CertState Conway → Specification fn (Seq (ConwayTxCert Conway))
data CertKey c
- = StakeKey !(Credential 'Staking c)
- | PoolKey !(KeyHash 'StakePool c)
- | DRepKey !(Credential 'DRepRole c)
- | ColdKey !(Credential 'ColdCommitteeRole c)
noSameKeys ∷ [ConwayTxCert era] → [ConwayTxCert era]

Documentation

bootstrapDStateSpec ∷ IsConwayUniv fn ⇒ CertsContext Conway → Specification fn (DState Conway) Source #

coinToWord64 ∷ Coin → Word64 Source #

type CertsContext era = Map (RewardAccount (EraCrypto era)) Coin Source #

txZero ∷ AlonzoTx Conway Source #

certsEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (CertsEnv Conway) Source #

projectEnv ∷ CertsEnv Conway → CertEnv Conway Source #

Project a CertEnv out of a CertsEnv (i.e drop the Tx)

listSeqPairSpec ∷ IsConwayUniv fn ⇒ CertsEnv Conway → CertState Conway → Specification fn ([ConwayTxCert Conway], Seq (ConwayTxCert Conway)) Source #

Specify a pair of List and Seq, where they have essentially the same elements EXCEPT, the Seq has duplicate keys filtered out.

txCertsSpec ∷ IsConwayUniv fn ⇒ CertsEnv Conway → CertState Conway → Specification fn (Seq (ConwayTxCert Conway)) Source #

data CertKey c Source #

Used to aggregate the key used in registering a Certificate. Different certificates use different kinds of Keys, that allows us to use one type to represent all kinds of keys (Similar to DepositPurpose)

Constructors

StakeKey !(Credential 'Staking c)
PoolKey !(KeyHash 'StakePool c)
DRepKey !(Credential 'DRepRole c)
ColdKey !(Credential 'ColdCommitteeRole c)

Instances

Instances details

Show (CertKey c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Certs Methods showsPrec ∷ Int → CertKey c → ShowS Source # show ∷ CertKey c → String Source # showList ∷ [CertKey c] → ShowS Source #
Eq (CertKey c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Certs Methods (==) ∷ CertKey c → CertKey c → Bool Source # (/=) ∷ CertKey c → CertKey c → Bool Source #
Ord (CertKey c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Certs Methods compare ∷ CertKey c → CertKey c → Ordering Source # (<) ∷ CertKey c → CertKey c → Bool Source # (<=) ∷ CertKey c → CertKey c → Bool Source # (>) ∷ CertKey c → CertKey c → Bool Source # (>=) ∷ CertKey c → CertKey c → Bool Source # max ∷ CertKey c → CertKey c → CertKey c Source # min ∷ CertKey c → CertKey c → CertKey c Source #

noSameKeys ∷ [ConwayTxCert era] → [ConwayTxCert era] Source #