| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Deleg
Description
Specs necessary to generate, environment, state, and signal for the DELEG rule
Synopsis
- coinToWord64 ∷ Coin → Word64
- wdrlCredentials ∷ Map RewardAccount Coin → Set (Credential 'Staking)
- keyHashWdrl ∷ Map RewardAccount Coin → Set (Credential 'Staking)
- isKeyHash ∷ Credential 'Staking → Bool
- accountBalanceSpec ∷ (HasSpec a, Monoid a) ⇒ Term a → Pred
- dRepMembershipPred ∷ Map (Credential 'DRepRole) a → Term DRep → Pred
- witnessedKeyHashStakePoolMapSpec ∷ Era era ⇒ WitUniv era → Specification (Map (KeyHash 'StakePool) StakePoolState)
- conwayAccountsSpec ∷ Era era ⇒ WitUniv era → Term (Map (KeyHash 'StakePool) StakePoolParams) → Specification (ConwayAccounts era)
- stakePoolDelegationsSpec ∷ Era era ⇒ WitUniv era → Specification (Map (Credential 'Staking) (KeyHash 'StakePool))
- dRepDelegationsSpec ∷ Era era ⇒ WitUniv era → Specification (Map (Credential 'Staking) DRep)
- dStateSpec ∷ (Era era, HasSpec (Accounts era)) ⇒ WitUniv era → Map RewardAccount Coin → Specification (DState era)
- conwayDelegCertSpec ∷ (EraPParams era, ConwayEraCertState era) ⇒ ConwayDelegEnv era → CertState era → Specification ConwayDelegCert
- delegEnvSpec ∷ EraSpecPParams era ⇒ Specification (ConwayDelegEnv era)
- shelleyDelegCertSpec ∷ (EraPParams era, EraAccounts era) ⇒ WitUniv era → ConwayDelegEnv era → DState era → Specification ShelleyDelegCert
- isZeroAccountBalance ∷ EraAccounts era ⇒ AccountState era → Bool
- class (Era era, EraPParams era, HasSpec (Accounts era), IsNormalType (Accounts era)) ⇒ EraSpecDeleg era where
- hasGenDelegs ∷ proxy era → Bool
Documentation
coinToWord64 ∷ Coin → Word64 Source #
keyHashWdrl ∷ Map RewardAccount Coin → Set (Credential 'Staking) Source #
dRepMembershipPred ∷ Map (Credential 'DRepRole) a → Term DRep → Pred Source #
witnessedKeyHashStakePoolMapSpec ∷ Era era ⇒ WitUniv era → Specification (Map (KeyHash 'StakePool) StakePoolState) Source #
The DState needs a witnessed set of delegations to be usefull. Use this Spec to obtain a random one
conwayAccountsSpec ∷ Era era ⇒ WitUniv era → Term (Map (KeyHash 'StakePool) StakePoolParams) → Specification (ConwayAccounts era) Source #
stakePoolDelegationsSpec ∷ Era era ⇒ WitUniv era → Specification (Map (Credential 'Staking) (KeyHash 'StakePool)) Source #
dRepDelegationsSpec ∷ Era era ⇒ WitUniv era → Specification (Map (Credential 'Staking) DRep) Source #
dStateSpec ∷ (Era era, HasSpec (Accounts era)) ⇒ WitUniv era → Map RewardAccount Coin → Specification (DState era) Source #
conwayDelegCertSpec ∷ (EraPParams era, ConwayEraCertState era) ⇒ ConwayDelegEnv era → CertState era → Specification ConwayDelegCert Source #
delegEnvSpec ∷ EraSpecPParams era ⇒ Specification (ConwayDelegEnv era) Source #
shelleyDelegCertSpec ∷ (EraPParams era, EraAccounts era) ⇒ WitUniv era → ConwayDelegEnv era → DState era → Specification ShelleyDelegCert Source #
isZeroAccountBalance ∷ EraAccounts era ⇒ AccountState era → Bool Source #
class (Era era, EraPParams era, HasSpec (Accounts era), IsNormalType (Accounts 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 # | |