| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Trace.SimpleTx
Synopsis
- getSTSLedgerEnv ∷ Reflect era ⇒ Proof era → TxIx → Env era → Typed (LedgerEnv era, LedgerState era)
- plutusFree ∷ ∀ era a. Reflect era ⇒ Map ScriptHash a → TxOut era → Bool
- plutusFreeAddr ∷ Map ScriptHash a → Addr → Bool
- plutusFreeValue ∷ Proof era → Map ScriptHash a → Value era → Bool
- plutusFreePolicyID ∷ Map ScriptHash a → PolicyID → Bool
- plutusFreeCredential ∷ Map ScriptHash a → Credential kr → Bool
- simpleTxBody ∷ Reflect era ⇒ Proof era → Coin → TraceM era [TxBodyField era]
- simpleTx ∷ Reflect era ⇒ Proof era → Coin → TraceM era (Tx era)
- completeTxBody ∷ Reflect era ⇒ Proof era → Coin → TxBody era → TraceM era (Tx era)
- addWitnesses ∷ ∀ era. Reflect era ⇒ Proof era → Map ScriptHash (Script era) → Map ScriptHash (IsValid, ScriptF era) → Map (KeyHash 'Payment) (Addr, SigningKey) → Map (KeyHash 'Witness) (KeyPair 'Witness) → Map DataHash (Data era) → TxBody era → UTxO era → GenDelegs → Tx era
- adjustTxForFee ∷ EraTx era ⇒ Proof era → Coin → Tx era → Tx era
- feeCoinL ∷ EraTx era ⇒ Lens' (Tx era) Coin
- firstOutputCoinL ∷ EraTx era ⇒ Lens' (Tx era) Coin
- strictSeqHeadL ∷ Lens' (StrictSeq a) a
Documentation
getSTSLedgerEnv ∷ Reflect era ⇒ Proof era → TxIx → Env era → Typed (LedgerEnv era, LedgerState era) Source #
Given an (Env era) construct the pair the the LendgerEnv and the LedgerState
plutusFree ∷ ∀ era a. Reflect era ⇒ Map ScriptHash a → TxOut era → Bool Source #
Does a TxOut have only Non-Plutus Scripts. Non-Plutus status is measured by non-membership in the Map of script hashes of all Plutus scripts.
plutusFreeAddr ∷ Map ScriptHash a → Addr → Bool Source #
plutusFreeValue ∷ Proof era → Map ScriptHash a → Value era → Bool Source #
plutusFreePolicyID ∷ Map ScriptHash a → PolicyID → Bool Source #
plutusFreeCredential ∷ Map ScriptHash a → Credential kr → Bool Source #
simpleTxBody ∷ Reflect era ⇒ Proof era → Coin → TraceM era [TxBodyField era] Source #
Make a simple TxBody with 1 input and 1 output. We estimate that such a TxBody will lead to a fee
of less than feeEstimate. So only pick inputs from the utxo that have at least that much coin. Balance the
Coin in the TxOut with the feeEstimate and the actual Coin in the UTxO output that corresponds to the input.
Only works if the internal Env of the TraceM monad stores variables capable of creating the LedgerState
See genLedgerStateEnv for an example of how to do that.
simpleTx ∷ Reflect era ⇒ Proof era → Coin → TraceM era (Tx era) Source #
Generate a (Tx era) from a simple (TxBody era), with 1 input and 1 output.
Apply the "finishing" function completeTxBody to make the result a valid Tx.
Only works if the internal Env of the TraceM monad stores variables capable of
creating the LedgerState. The parameter maxFeeEstimate has to be chosen by
experience. The fee for most simpleTx as less than 60000. But in at least one
case we have seen as high as 108407. If that case happens we will discard.
A large fee is rare because it is caused by many scripts and fees that need large witnesses,
completeTxBody ∷ Reflect era ⇒ Proof era → Coin → TxBody era → TraceM era (Tx era) Source #
Complete a TxBody, by running a fix-point computation that 1) Adds the appropriate witnesses. 2) Adjusts the the first output to pay the estimated fee. Run the computation until both the fee and the hash of the TxBody reach a fixpoint. Only works if the internal Env of the TraceM monad stores variables capable of creating the LedgerState
addWitnesses ∷ ∀ era. Reflect era ⇒ Proof era → Map ScriptHash (Script era) → Map ScriptHash (IsValid, ScriptF era) → Map (KeyHash 'Payment) (Addr, SigningKey) → Map (KeyHash 'Witness) (KeyPair 'Witness) → Map DataHash (Data era) → TxBody era → UTxO era → GenDelegs → Tx era Source #
Add witnesses to the TxBody to construct a Tx with the appropriate witnesses. This is a compilcated function, but it should be applicable to ANY Tx generated using the Universes.
adjustTxForFee ∷ EraTx era ⇒ Proof era → Coin → Tx era → Tx era Source #
adjust a Tx for the fee, by setting the fee to the correct value then moving the excess to the outputs
strictSeqHeadL ∷ Lens' (StrictSeq a) a Source #