cardano-ledger-babbage-1.12.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Babbage.Imp.UtxowSpec

Documentation

spec ∷ ∀ era. (AlonzoEraImp era, BabbageEraTxBody era, EraPlutusTxInfo 'PlutusV2 era, InjectRuleFailure "LEDGER" BabbageUtxowPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era, Inject (BabbageContextError era) (ContextError era)) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #