cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers

Safe Haskell	None
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 ⇒ WitUniv era → Specification DepositPurpose Source #

data DepositPurpose Source #

Constructors

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

Instances

Instances details

Arbitrary DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

arbitrary ∷ Gen DepositPurpose Source #

shrink ∷ DepositPurpose → [DepositPurpose] Source #

DecCBOR DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

decCBOR ∷ Decoder s DepositPurpose Source #

dropCBOR ∷ Proxy DepositPurpose → Decoder s () Source #

label ∷ Proxy DepositPurpose → Text Source #

EncCBOR DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

encCBOR ∷ DepositPurpose → Encoding Source #

HasSpec DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Associated Types

type TypeSpec DepositPurpose
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type TypeSpec DepositPurpose = TypeSpec (SimpleRep DepositPurpose)
type Prerequisites DepositPurpose
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type Prerequisites DepositPurpose = ()

Methods

emptySpec ∷ TypeSpec DepositPurpose Source #

combineSpec ∷ TypeSpec DepositPurpose → TypeSpec DepositPurpose → Specification DepositPurpose Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec DepositPurpose → GenT m DepositPurpose Source #

conformsTo ∷ DepositPurpose → TypeSpec DepositPurpose → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec DepositPurpose → DepositPurpose → [DepositPurpose] Source #

fixupWithTypeSpec ∷ TypeSpec DepositPurpose → DepositPurpose → Maybe DepositPurpose Source #

toPreds ∷ Term DepositPurpose → TypeSpec DepositPurpose → Pred Source #

cardinalTypeSpec ∷ TypeSpec DepositPurpose → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec DepositPurpose → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec DepositPurpose → BinaryShow Source #

typeSpecOpt ∷ TypeSpec DepositPurpose → [DepositPurpose] → Specification DepositPurpose Source #

guardTypeSpec ∷ [String] → TypeSpec DepositPurpose → Specification DepositPurpose Source #

prerequisites ∷ Evidence (Prerequisites DepositPurpose) Source #

HasSimpleRep DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Associated Types

type SimpleRep DepositPurpose
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type SimpleRep DepositPurpose = SOP (TheSop DepositPurpose)
type TheSop DepositPurpose
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type TheSop DepositPurpose = SOPOf (Rep DepositPurpose)

Methods

toSimpleRep ∷ DepositPurpose → SimpleRep DepositPurpose Source #

fromSimpleRep ∷ SimpleRep DepositPurpose → DepositPurpose Source #

NFData DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

rnf ∷ DepositPurpose → () #

Generic DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Associated Types

type Rep DepositPurpose

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

type Rep DepositPurpose = 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))) :+: C1 ('MetaCons "PoolDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)))) :+: (C1 ('MetaCons "DRepDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "GovActionDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId))))

Methods

from ∷ DepositPurpose → Rep DepositPurpose x #

to ∷ Rep DepositPurpose x → DepositPurpose #

Show DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

showsPrec ∷ Int → DepositPurpose → ShowS #

show ∷ DepositPurpose → String #

showList ∷ [DepositPurpose] → ShowS #

Eq DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

(==) ∷ DepositPurpose → DepositPurpose → Bool #

(/=) ∷ DepositPurpose → DepositPurpose → Bool #

Ord DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

compare ∷ DepositPurpose → DepositPurpose → Ordering #

(<) ∷ DepositPurpose → DepositPurpose → Bool #

(<=) ∷ DepositPurpose → DepositPurpose → Bool #

(>) ∷ DepositPurpose → DepositPurpose → Bool #

(>=) ∷ DepositPurpose → DepositPurpose → Bool #

max ∷ DepositPurpose → DepositPurpose → DepositPurpose #

min ∷ DepositPurpose → DepositPurpose → DepositPurpose #

ToExpr DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

toExpr ∷ DepositPurpose → Expr Source #

listToExpr ∷ [DepositPurpose] → Expr Source #

type Prerequisites DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

type Prerequisites DepositPurpose = ()

type TypeSpec DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

type TypeSpec DepositPurpose = TypeSpec (SimpleRep DepositPurpose)

type SimpleRep DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

type SimpleRep DepositPurpose = SOP (TheSop DepositPurpose)

type TheSop DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

type TheSop DepositPurpose = SOPOf (Rep DepositPurpose)

type Rep DepositPurpose Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

type Rep DepositPurpose = 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))) :+: C1 ('MetaCons "PoolDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)))) :+: (C1 ('MetaCons "DRepDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole))) :+: C1 ('MetaCons "GovActionDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId))))

utxoEnvSpec ∷ UtxoExecContext ConwayEra → Specification (UtxoEnv ConwayEra) Source #

utxoStateSpec ∷ UtxoExecContext ConwayEra → UtxoEnv ConwayEra → Specification (UTxOState ConwayEra) Source #

data UtxoExecContext era Source #

Constructors

UtxoExecContext
Fields uecTx ∷ !(Tx 'TopTx era) uecUTxO ∷ !(UTxO era) uecUtxoEnv ∷ !(UtxoEnv era)

Instances

Instances details

(EraPParams era, EncCBOR (TxOut era), EncCBOR (Tx 'TopTx era), EraCertState era) ⇒ EncCBOR (UtxoExecContext era) Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

encCBOR ∷ UtxoExecContext era → Encoding Source #

(EraTx era, NFData (TxWits era), NFData (TxAuxData era), EraCertState era) ⇒ NFData (UtxoExecContext era) Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

rnf ∷ UtxoExecContext era → () #

Generic (UtxoExecContext era) Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Associated Types

type Rep (UtxoExecContext era)

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 (Tx 'TopTx era)) :*: (S1 ('MetaSel ('Just "uecUTxO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Just "uecUtxoEnv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UtxoEnv era)))))

Methods

from ∷ UtxoExecContext era → Rep (UtxoExecContext era) x #

to ∷ Rep (UtxoExecContext era) x → UtxoExecContext era #

(EraTx era, ToExpr (TxOut era), ToExpr (TxBody 'TopTx era), ToExpr (TxWits era), ToExpr (TxAuxData era), ToExpr (PParamsHKD Identity era), EraCertState era, ToExpr (CertState era), ToExpr (Tx 'TopTx 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 #

CertState era ~ ConwayCertState era ⇒ Inject (UtxoExecContext era) (ConwayCertState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo

Methods

inject ∷ UtxoExecContext era → ConwayCertState 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 (Tx 'TopTx era)) :*: (S1 ('MetaSel ('Just "uecUTxO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :*: S1 ('MetaSel ('Just "uecUtxoEnv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UtxoEnv era)))))

utxoTxSpec ∷ HasSpec (Tx 'TopTx era) ⇒ UtxoExecContext era → Specification (Tx 'TopTx era) Source #

correctAddrAndWFCoin ∷ Term (TxOut ConwayEra) → Pred Source #

genUtxoExecContext ∷ Gen (UtxoExecContext ConwayEra) Source #