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

data DepositPurpose c Source #

Constructors

CredentialDeposit !(Credential 'Staking c)
PoolDeposit !(KeyHash 'StakePool c)
DRepDeposit !(Credential 'DRepRole c)
GovActionDeposit !(GovActionId c)

Instances

Instances details

Crypto c ⇒ Arbitrary (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods arbitrary ∷ Gen (DepositPurpose c) Source # shrink ∷ DepositPurpose c → [DepositPurpose c] Source #
Generic (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Associated Types type Rep (DepositPurpose c) ∷ Type → Type Source # Methods from ∷ DepositPurpose c → Rep (DepositPurpose c) x Source # to ∷ Rep (DepositPurpose c) x → DepositPurpose c Source #
Show (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods showsPrec ∷ Int → DepositPurpose c → ShowS Source # show ∷ DepositPurpose c → String Source # showList ∷ [DepositPurpose c] → ShowS Source #
Crypto c ⇒ DecCBOR (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods decCBOR ∷ Decoder s (DepositPurpose c) Source # dropCBOR ∷ Proxy (DepositPurpose c) → Decoder s () Source # label ∷ Proxy (DepositPurpose c) → Text Source #
Crypto c ⇒ EncCBOR (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods encCBOR ∷ DepositPurpose c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DepositPurpose c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DepositPurpose c] → Size Source #
Crypto c ⇒ NFData (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods rnf ∷ DepositPurpose c → () Source #
Eq (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods (==) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (/=) ∷ DepositPurpose c → DepositPurpose c → Bool Source #
Ord (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods compare ∷ DepositPurpose c → DepositPurpose c → Ordering Source # (<) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (<=) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (>) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (>=) ∷ DepositPurpose c → DepositPurpose c → Bool Source # max ∷ DepositPurpose c → DepositPurpose c → DepositPurpose c Source # min ∷ DepositPurpose c → DepositPurpose c → DepositPurpose c Source #
ToExpr (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods toExpr ∷ DepositPurpose c → Expr Source # listToExpr ∷ [DepositPurpose c] → Expr Source #
type Rep (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type Rep (DepositPurpose c) = D1 ('MetaData "DepositPurpose" "Test.Cardano.Ledger.Constrained.Conway.Utxo" "cardano-ledger-test-9.9.9.9-inplace" 'False) ((C1 ('MetaCons "CredentialDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking c))) :+: C1 ('MetaCons "PoolDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)))) :+: (C1 ('MetaCons "DRepDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c))) :+: C1 ('MetaCons "GovActionDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId c)))))

utxoEnvSpec ∷ IsConwayUniv fn ⇒ UtxoExecContext Conway → Specification fn (UtxoEnv (ConwayEra StandardCrypto)) Source #

utxoStateSpec ∷ IsConwayUniv fn ⇒ UtxoExecContext (ConwayEra StandardCrypto) → UtxoEnv (ConwayEra StandardCrypto) → Specification fn (UTxOState (ConwayEra StandardCrypto)) Source #

data UtxoExecContext era Source #

Constructors

UtxoExecContext
Fields uecTx ∷ !(AlonzoTx era) uecUTxO ∷ !(UTxO era) uecUtxoEnv ∷ !(UtxoEnv era)

Instances

Instances details

Generic (UtxoExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Associated Types type Rep (UtxoExecContext era) ∷ Type → Type Source # Methods from ∷ UtxoExecContext era → Rep (UtxoExecContext era) x Source # to ∷ Rep (UtxoExecContext era) x → UtxoExecContext era Source #
(EraPParams era, EncCBOR (TxOut era), EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ EncCBOR (UtxoExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods encCBOR ∷ UtxoExecContext era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UtxoExecContext era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UtxoExecContext era] → Size Source #
(EraTx era, NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (UtxoExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods rnf ∷ UtxoExecContext era → () Source #
(EraTx era, ToExpr (TxOut era), ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era), ToExpr (PParamsHKD Identity era)) ⇒ ToExpr (UtxoExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods toExpr ∷ UtxoExecContext era → Expr Source # listToExpr ∷ [UtxoExecContext era] → Expr Source #
Inject (UtxoExecContext era) (CertState era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods inject ∷ UtxoExecContext era → CertState era Source #
type Rep (UtxoExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type Rep (UtxoExecContext era) = D1 ('MetaData "UtxoExecContext" "Test.Cardano.Ledger.Constrained.Conway.Utxo" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "UtxoExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "uecTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AlonzoTx era)) :: (S1 ('MetaSel ('Just "uecUTxO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :: S1 ('MetaSel ('Just "uecUtxoEnv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UtxoEnv era)))))

utxoTxSpec ∷ (IsConwayUniv fn, HasSpec fn (AlonzoTx era)) ⇒ UtxoExecContext era → Specification fn (AlonzoTx era) Source #

correctAddrAndWFCoin ∷ IsConwayUniv fn ⇒ Term fn (TxOut (ConwayEra StandardCrypto)) → Pred fn Source #

depositsMap ∷ CertState era → Proposals era → Map (DepositPurpose (EraCrypto era)) Coin Source #