| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.ImpTest
Contents
Documentation
class (ConwayEraImp era, DijkstraEraTest era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" EntitiesPredFailure era, InjectRuleFailure "LEDGER" SubEntitiesPredFailure era, InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era, InjectRuleFailure "LEDGER" DijkstraUtxowPredFailure era, InjectRuleFailure "MEMPOOL" DijkstraMempoolPredFailure era, InjectRuleFailure "MEMPOOL" DijkstraUtxoPredFailure era, InjectRuleFailure "LEDGER" DijkstraSubUtxoPredFailure era, Inject (NonEmpty (PredicateFailure (EraRule "MEMPOOL" era))) (ApplyTxError era)) ⇒ DijkstraEraImp era Source #
Instances
impDijkstraSatisfyNativeScript ∷ ∀ era (l ∷ TxLevel). (DijkstraEraImp era, NativeScript era ~ DijkstraNativeScript era) ⇒ Set (KeyHash 'Witness) → TxBody l era → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #
fixupSubTransactions ∷ (HasCallStack, DijkstraEraImp era) ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #
balanceSubTransactions ∷ DijkstraEraImp era ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #
switchTxToLegacyMode ∷ DijkstraEraImp era ⇒ Tx 'TopTx era → ImpTestM era (Tx 'TopTx era) Source #