cardano-ledger-allegra-1.10.2.1: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Allegra.ImpTest

Documentation

impAllegraSatisfyNativeScript ∷ ∀ era (l ∷ TxLevel). (ShelleyEraImp era, AllegraEraScript era, AllegraEraTxBody era, NativeScript era ~ Timelock era) ⇒ Set (KeyHash 'Witness) → TxBody l era → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #

module Test.Cardano.Ledger.Shelley.ImpTest

class (ShelleyEraImp era, AllegraEraTest era, InjectRuleFailure "LEDGER" AllegraUtxoPredFailure era) ⇒ AllegraEraImp era Source #

Instances

Instances details
AllegraEraImp AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Allegra.ImpTest

Orphan instances