cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Trace.Actions

Documentation

inputsActionEra era ⇒ Proof era → Set TxInTraceM era () Source #

outputsActionReflect era ⇒ Proof era → TxBody era → [TxOutF era] → TraceM era () Source #

feesActionEra era ⇒ CoinTraceM era () Source #

certActionEra era ⇒ Proof era → TxCert era → TraceM era () Source #

certsAction ∷ (Foldable t, Era era) ⇒ Proof era → t (TxCert era) → TraceM era () Source #