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

Instances details

Arbitrary DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods arbitrary ∷ Gen DepositPurpose Source # shrink ∷ DepositPurpose → [DepositPurpose] Source #
Generic DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Associated Types type Rep DepositPurpose ∷ Type → Type # 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 #
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 Source # type Prerequisites DepositPurpose Source # 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 # 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 # monadConformsTo ∷ DepositPurpose → TypeSpec DepositPurpose → Writer [String] Bool 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 Source # type TheSop DepositPurpose ∷ [Type] Source # 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 → () #
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 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))))
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)

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 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 # Methods from ∷ UtxoExecContext era → Rep (UtxoExecContext era) x # to ∷ Rep (UtxoExecContext era) x → UtxoExecContext era #
(EraPParams era, EncCBOR (TxOut era), EncCBOR (Tx 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 → () #
(EraTx era, ToExpr (TxOut era), ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era), ToExpr (PParamsHKD Identity era), EraCertState era, ToExpr (CertState era), ToExpr (Tx 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 era)) :: (S1 ('MetaSel ('Just "uecUTxO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :: S1 ('MetaSel ('Just "uecUtxoEnv") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UtxoEnv era)))))

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

correctAddrAndWFCoin ∷ Term (TxOut ConwayEra) → Pred Source #

genUtxoExecContext ∷ Gen (UtxoExecContext ConwayEra) Source #