cardano-ledger-alonzo-1.13.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Valid

Documentation

spec ∷ ∀ era. (AlonzoEraImp era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #