Safe Haskell	None
Language	Haskell2010

Test.QuickCheck.ContractModel.ThreatModel.TxModifier

Synopsis

data Output = Output {
- outputTxOut :: TxOut CtxTx Era
- outputIx :: TxIx
}
data Input = Input {
- inputTxOut :: TxOut CtxUTxO Era
- inputTxIn :: TxIn
}
class IsInputOrOutput t where
- changeAddressOf :: t -> AddressAny -> TxModifier
- changeValueOf :: t -> Value -> TxModifier
- changeDatumOf :: t -> Datum -> TxModifier
- addressOf :: t -> AddressAny
- valueOf :: t -> Value
type Datum = TxOutDatum CtxTx Era
type Redeemer = ScriptData
newtype TxModifier = TxModifier [TxMod]
data TxMod where
- RemoveInput :: TxIn -> TxMod
- RemoveOutput :: TxIx -> TxMod
- ChangeOutput :: TxIx -> Maybe AddressAny -> Maybe Value -> Maybe Datum -> TxMod
- ChangeInput :: TxIn -> Maybe AddressAny -> Maybe Value -> Maybe Datum -> TxMod
- ChangeScriptInput :: TxIn -> Maybe Value -> Maybe Datum -> Maybe Redeemer -> TxMod
- ChangeValidityRange :: Maybe (TxValidityLowerBound Era) -> Maybe (TxValidityUpperBound Era) -> TxMod
- AddOutput :: AddressAny -> Value -> Datum -> TxMod
- AddInput :: AddressAny -> Value -> Datum -> TxMod
- AddPlutusScriptInput :: PlutusScript PlutusScriptV2 -> Value -> Datum -> Redeemer -> TxMod
- AddSimpleScriptInput :: SimpleScript SimpleScriptV2 -> Value -> TxMod
- ReplaceTx :: Tx Era -> UTxO Era -> TxMod
txMod :: TxMod -> TxModifier
applyTxModifier :: Tx Era -> UTxO Era -> TxModifier -> (Tx Era, UTxO Era)
applyTxMod :: Tx Era -> UTxO Era -> TxMod -> (Tx Era, UTxO Era)
addOutput :: AddressAny -> Value -> Datum -> TxModifier
removeOutput :: Output -> TxModifier
addKeyInput :: AddressAny -> Value -> Datum -> TxModifier
removeInput :: Input -> TxModifier
addPlutusScriptInput :: PlutusScript PlutusScriptV2 -> Value -> Datum -> Redeemer -> TxModifier
addSimpleScriptInput :: SimpleScript SimpleScriptV2 -> Value -> TxModifier
changeRedeemerOf :: Input -> Redeemer -> TxModifier
changeValidityRange :: (TxValidityLowerBound Era, TxValidityUpperBound Era) -> TxModifier
changeValidityLowerBound :: TxValidityLowerBound Era -> TxModifier
changeValidityUpperBound :: TxValidityUpperBound Era -> TxModifier
replaceTx :: Tx Era -> UTxO Era -> TxModifier

Documentation

data Output Source #

A transaction output paired with its index in the transaction.

Constructors

Output
Fields outputTxOut :: TxOut CtxTx Era outputIx :: TxIx

Instances

Instances details

Show Output Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods showsPrec :: Int -> Output -> ShowS Source # show :: Output -> String Source # showList :: [Output] -> ShowS Source #
IsInputOrOutput Output Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods changeAddressOf :: Output -> AddressAny -> TxModifier Source # changeValueOf :: Output -> Value -> TxModifier Source # changeDatumOf :: Output -> Datum -> TxModifier Source # addressOf :: Output -> AddressAny Source # valueOf :: Output -> Value Source #

data Input Source #

A transaction input reference togheter with the corresponding TxOut from the UTxO set.

Constructors

Input
Fields inputTxOut :: TxOut CtxUTxO Era inputTxIn :: TxIn

Instances

Instances details

Show Input Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods showsPrec :: Int -> Input -> ShowS Source # show :: Input -> String Source # showList :: [Input] -> ShowS Source #
IsInputOrOutput Input Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods changeAddressOf :: Input -> AddressAny -> TxModifier Source # changeValueOf :: Input -> Value -> TxModifier Source # changeDatumOf :: Input -> Datum -> TxModifier Source # addressOf :: Input -> AddressAny Source # valueOf :: Input -> Value Source #

class IsInputOrOutput t where Source #

Functions common to both Inputs and Outputs.

Methods

changeAddressOf :: t -> AddressAny -> TxModifier Source #

Change the target address of an input or an output. For outputs this means redirecting an output to a different address, and for inputs it means modifying the UTxO set, changing the owner of the given input.

Note: Does not work for script inputs.

changeValueOf :: t -> Value -> TxModifier Source #

Change the value of an input or an output.

changeDatumOf :: t -> Datum -> TxModifier Source #

Change the datum on an input or an output.

addressOf :: t -> AddressAny Source #

Get the address (pubkey or script address) of an input or an output.

valueOf :: t -> Value Source #

Get the value at an input or an output.

Instances

Instances details

IsInputOrOutput Input Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods changeAddressOf :: Input -> AddressAny -> TxModifier Source # changeValueOf :: Input -> Value -> TxModifier Source # changeDatumOf :: Input -> Datum -> TxModifier Source # addressOf :: Input -> AddressAny Source # valueOf :: Input -> Value Source #
IsInputOrOutput Output Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods changeAddressOf :: Output -> AddressAny -> TxModifier Source # changeValueOf :: Output -> Value -> TxModifier Source # changeDatumOf :: Output -> Datum -> TxModifier Source # addressOf :: Output -> AddressAny Source # valueOf :: Output -> Value Source #

type Datum = TxOutDatum CtxTx Era Source #

Type synonym for datums. The CtxTx context means that the actual datum value can be present, not just the hash.

type Redeemer = ScriptData Source #

Redeemers are plain ScriptData.

newtype TxModifier Source #

The type of transaction modifiers. When combined using the monoid instance, individual modifications are applied in left-to-right order.

Constructors

TxModifier [TxMod]

Instances

Instances details

Semigroup TxModifier Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods (<>) :: TxModifier -> TxModifier -> TxModifier Source # sconcat :: NonEmpty TxModifier -> TxModifier Source # stimes :: Integral b => b -> TxModifier -> TxModifier Source #
Monoid TxModifier Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods mempty :: TxModifier Source # mappend :: TxModifier -> TxModifier -> TxModifier Source # mconcat :: [TxModifier] -> TxModifier Source #

data TxMod where Source #

Constructors

RemoveInput :: TxIn -> TxMod
RemoveOutput :: TxIx -> TxMod
ChangeOutput :: TxIx -> Maybe AddressAny -> Maybe Value -> Maybe Datum -> TxMod
ChangeInput :: TxIn -> Maybe AddressAny -> Maybe Value -> Maybe Datum -> TxMod
ChangeScriptInput :: TxIn -> Maybe Value -> Maybe Datum -> Maybe Redeemer -> TxMod
ChangeValidityRange :: Maybe (TxValidityLowerBound Era) -> Maybe (TxValidityUpperBound Era) -> TxMod
AddOutput :: AddressAny -> Value -> Datum -> TxMod
AddInput :: AddressAny -> Value -> Datum -> TxMod
AddPlutusScriptInput :: PlutusScript PlutusScriptV2 -> Value -> Datum -> Redeemer -> TxMod
AddSimpleScriptInput :: SimpleScript SimpleScriptV2 -> Value -> TxMod
ReplaceTx :: Tx Era -> UTxO Era -> TxMod

Instances

Instances details

Show TxMod Source #
Instance details Defined in Test.QuickCheck.ContractModel.ThreatModel.TxModifier Methods showsPrec :: Int -> TxMod -> ShowS Source # show :: TxMod -> String Source # showList :: [TxMod] -> ShowS Source #

txMod :: TxMod -> TxModifier Source #

applyTxModifier :: Tx Era -> UTxO Era -> TxModifier -> (Tx Era, UTxO Era) Source #

applyTxMod :: Tx Era -> UTxO Era -> TxMod -> (Tx Era, UTxO Era) Source #

addOutput :: AddressAny -> Value -> Datum -> TxModifier Source #

Add a new output of any type (public key or script)

removeOutput :: Output -> TxModifier Source #

Remove an output of any type.

addKeyInput :: AddressAny -> Value -> Datum -> TxModifier Source #

Add a new public key input.

removeInput :: Input -> TxModifier Source #

Remove an input of any type.

addPlutusScriptInput :: PlutusScript PlutusScriptV2 -> Value -> Datum -> Redeemer -> TxModifier Source #

Add a plutus script input.

addSimpleScriptInput :: SimpleScript SimpleScriptV2 -> Value -> TxModifier Source #

Add a simple script input.

changeRedeemerOf :: Input -> Redeemer -> TxModifier Source #

Change the redeemer of a script input.

changeValidityRange :: (TxValidityLowerBound Era, TxValidityUpperBound Era) -> TxModifier Source #

Change the validity range of the transaction.

changeValidityLowerBound :: TxValidityLowerBound Era -> TxModifier Source #

Change the validity lower bound of the transaction.

changeValidityUpperBound :: TxValidityUpperBound Era -> TxModifier Source #

Change the validity upper bound of the transaction.

replaceTx :: Tx Era -> UTxO Era -> TxModifier Source #

The most general transaction modifier. Simply replace the original transaction and UTxO set by the given values. In most cases the modifiers above should be sufficient.