| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Deleg
Description
Specs necessary to generate, environment, state, and signal for the DELEG rule
Synopsis
- someZeros ∷ Specification RDPair
- rewDepMapSpec ∷ Era era ⇒ WitUniv era → Map RewardAccount Coin → Specification (Map (Credential 'Staking) RDPair)
- rewDepMapSpec2 ∷ ∀ era. Era era ⇒ WitUniv era → Map RewardAccount Coin → Specification (Map (Credential 'Staking) RDPair)
- coinToWord64 ∷ Coin → Word64
- wdrlCredentials ∷ Map RewardAccount Coin → Set (Credential 'Staking)
- keyHashWdrl ∷ Map RewardAccount Coin → Set (Credential 'Staking)
- dStateSpec ∷ ∀ era. EraSpecDeleg era ⇒ WitUniv era → Map RewardAccount Coin → Specification (DState era)
- conwayDelegCertSpec ∷ ∀ era. (EraPParams era, ConwayEraCertState era) ⇒ ConwayDelegEnv era → CertState era → Specification ConwayDelegCert
- delegEnvSpec ∷ EraSpecPParams era ⇒ Specification (ConwayDelegEnv era)
- shelleyDelegCertSpec ∷ ∀ era. EraPParams era ⇒ WitUniv era → ConwayDelegEnv era → DState era → Specification ShelleyDelegCert
- class (Era era, EraPParams era) ⇒ EraSpecDeleg era where
- hasGenDelegs ∷ proxy era → Bool
Documentation
someZeros ∷ Specification RDPair Source #
Specify that some of the rewards in the RDPair's are zero. without this in the DState, it is hard to generate the ConwayUnRegCert certificate, since it requires a rewards balance of 0. We also specify that both reward and deposit are greater than (Coin 0)
rewDepMapSpec ∷ Era era ⇒ WitUniv era → Map RewardAccount Coin → Specification (Map (Credential 'Staking) RDPair) Source #
Specification for the RewardDepositMap of the Umap in the DState It must be witnessed, and conform to some properties relating to the withdrawals map, which is part of the context, so passed as an arg.
rewDepMapSpec2 ∷ ∀ era. Era era ⇒ WitUniv era → Map RewardAccount Coin → Specification (Map (Credential 'Staking) RDPair) Source #
coinToWord64 ∷ Coin → Word64 Source #
keyHashWdrl ∷ Map RewardAccount Coin → Set (Credential 'Staking) Source #
dStateSpec ∷ ∀ era. EraSpecDeleg era ⇒ WitUniv era → Map RewardAccount Coin → Specification (DState era) Source #
conwayDelegCertSpec ∷ ∀ era. (EraPParams era, ConwayEraCertState era) ⇒ ConwayDelegEnv era → CertState era → Specification ConwayDelegCert Source #
delegEnvSpec ∷ EraSpecPParams era ⇒ Specification (ConwayDelegEnv era) Source #
shelleyDelegCertSpec ∷ ∀ era. EraPParams era ⇒ WitUniv era → ConwayDelegEnv era → DState era → Specification ShelleyDelegCert Source #
class (Era era, EraPParams era) ⇒ EraSpecDeleg era where Source #
Methods
hasGenDelegs ∷ proxy era → Bool Source #
Instances
| EraSpecDeleg AllegraEra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy AllegraEra → Bool Source # | |
| EraSpecDeleg AlonzoEra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy AlonzoEra → Bool Source # | |
| EraSpecDeleg BabbageEra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy BabbageEra → Bool Source # | |
| EraSpecDeleg ConwayEra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy ConwayEra → Bool Source # | |
| EraSpecDeleg MaryEra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy MaryEra → Bool Source # | |
| EraSpecDeleg ShelleyEra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy ShelleyEra → Bool Source # | |