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 ∷ ∀ fn era. (Era era, IsConwayUniv fn) ⇒ WitUniv era → Specification fn 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 Source # Methods from ∷ DepositPurpose → Rep DepositPurpose x Source # to ∷ Rep DepositPurpose x → DepositPurpose Source #
Show DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods showsPrec ∷ Int → DepositPurpose → ShowS Source # show ∷ DepositPurpose → String Source # showList ∷ [DepositPurpose] → ShowS 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy DepositPurpose → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DepositPurpose] → Size 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 → () Source #
Eq DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods (==) ∷ DepositPurpose → DepositPurpose → Bool Source # (/=) ∷ DepositPurpose → DepositPurpose → Bool Source #
Ord DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods compare ∷ DepositPurpose → DepositPurpose → Ordering Source # (<) ∷ DepositPurpose → DepositPurpose → Bool Source # (<=) ∷ DepositPurpose → DepositPurpose → Bool Source # (>) ∷ DepositPurpose → DepositPurpose → Bool Source # (>=) ∷ DepositPurpose → DepositPurpose → Bool Source # max ∷ DepositPurpose → DepositPurpose → DepositPurpose Source # min ∷ DepositPurpose → DepositPurpose → DepositPurpose Source #
ToExpr DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods toExpr ∷ DepositPurpose → Expr Source # listToExpr ∷ [DepositPurpose] → Expr Source #
IsConwayUniv fn ⇒ HasSpec fn DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Associated Types type TypeSpec fn DepositPurpose Source # type Prerequisites fn DepositPurpose Source # Methods emptySpec ∷ TypeSpec fn DepositPurpose Source # combineSpec ∷ TypeSpec fn DepositPurpose → TypeSpec fn DepositPurpose → Specification fn DepositPurpose Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn DepositPurpose → GenT m DepositPurpose Source # conformsTo ∷ DepositPurpose → TypeSpec fn DepositPurpose → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn DepositPurpose → DepositPurpose → [DepositPurpose] Source # toPreds ∷ Term fn DepositPurpose → TypeSpec fn DepositPurpose → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn DepositPurpose → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn DepositPurpose → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn DepositPurpose → BinaryShow Source # monadConformsTo ∷ DepositPurpose → TypeSpec fn DepositPurpose → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn DepositPurpose → [DepositPurpose] → Specification fn DepositPurpose Source # guardTypeSpec ∷ [String] → TypeSpec fn DepositPurpose → Specification fn DepositPurpose Source # prerequisites ∷ Evidence (Prerequisites fn DepositPurpose) 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 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 Prerequisites fn DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type Prerequisites fn DepositPurpose = ()
type TypeSpec fn DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type TypeSpec fn DepositPurpose = TypeSpec fn (SimpleRep DepositPurpose)

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

utxoStateSpec ∷ IsConwayUniv fn ⇒ UtxoExecContext ConwayEra → UtxoEnv ConwayEra → Specification fn (UTxOState ConwayEra) 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) → Pred fn Source #

depositsMap ∷ CertState era → Proposals era → Map DepositPurpose Coin Source #