Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Utxo
Description
Specs necessary to generate, environment, state, and signal for the UTXO rule
Documentation
witnessDepositPurpose ∷ ∀ era. Era era ⇒ WitUniv era → Specification DepositPurpose Source #
data DepositPurpose Source #
Constructors
CredentialDeposit !(Credential 'Staking) | |
PoolDeposit !(KeyHash 'StakePool) | |
DRepDeposit !(Credential 'DRepRole) | |
GovActionDeposit !GovActionId |
Instances
utxoStateSpec ∷ UtxoExecContext ConwayEra → UtxoEnv ConwayEra → Specification (UTxOState ConwayEra) Source #
data UtxoExecContext era Source #
Constructors
UtxoExecContext | |
Instances
utxoTxSpec ∷ HasSpec (AlonzoTx era) ⇒ UtxoExecContext era → Specification (AlonzoTx era) Source #
depositsMap ∷ ConwayEraCertState era ⇒ CertState era → Proposals era → Map DepositPurpose Coin Source #