cardano-ledger-allegra-1.7.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Allegra.Imp

Documentation

spec ∷ ∀ era. (Arbitrary (TxAuxData era), ShelleyEraImp era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) ⇒ Spec Source #