Test.Cardano.Ledger.Constrained.Trace.Actions
inputsAction ∷ Era era ⇒ Proof era → Set TxIn → TraceM era () Source #
outputsAction ∷ Reflect era ⇒ Proof era → TxBody era → [TxOutF era] → TraceM era () Source #
feesAction ∷ Era era ⇒ Coin → TraceM era () Source #
certAction ∷ Era era ⇒ Proof era → TxCert era → TraceM era () Source #
certsAction ∷ (Foldable t, Era era) ⇒ Proof era → t (TxCert era) → TraceM era () Source #