cardano-ledger-babbage-1.10.0.0: Cardano ledger introducing refrence scripts and inline datums

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Babbage.ImpTest

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.Alonzo.ImpTest

produceRefScript ∷ (ShelleyEraImp era, BabbageEraTxOut era) ⇒ Script era → ImpTestM era (TxIn (EraCrypto era)) Source #

produceRefScripts ∷ (ShelleyEraImp era, BabbageEraTxOut era) ⇒ NonEmpty (Script era) → ImpTestM era (NonEmpty (TxIn (EraCrypto era))) Source #

Orphan instances

ShelleyEraImp (BabbageEra c) ⇒ AlonzoEraImp (BabbageEra c) Source #
Instance details Methods scriptTestContexts ∷ Map (ScriptHash (EraCrypto (BabbageEra c))) ScriptTestContext Source #
ShelleyEraImp (BabbageEra c) ⇒ MaryEraImp (BabbageEra c) Source #
Instance details
(Crypto c, NFData (SigDSIGN (DSIGN c)), NFData (VerKeyDSIGN (DSIGN c)), ADDRHASH c ~ Blake2b_224, DSIGN c ~ Ed25519DSIGN, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyEraImp (BabbageEra c) Source #
Instance details Methods initGenesis ∷ (HasKeyPairs s (EraCrypto (BabbageEra c)), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Genesis (BabbageEra c)) Source # initNewEpochState ∷ (HasKeyPairs s (EraCrypto (BabbageEra c)), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (NewEpochState (BabbageEra c)) Source # initImpTestState ∷ (HasKeyPairs s (EraCrypto (BabbageEra c)), MonadState s m, HasSubState s, SubState s ~ StateGen QCGen, HasStatefulGen (StateGenM s) m) ⇒ m (ImpTestState (BabbageEra c)) Source # impSatisfyNativeScript ∷ Set (KeyHash 'Witness (EraCrypto (BabbageEra c))) → NativeScript (BabbageEra c) → ImpTestM (BabbageEra c) (Maybe (Map (KeyHash 'Witness (EraCrypto (BabbageEra c))) (KeyPair 'Witness (EraCrypto (BabbageEra c))))) Source # modifyPParams ∷ (PParams (BabbageEra c) → PParams (BabbageEra c)) → ImpTestM (BabbageEra c) () Source # fixupTx ∷ Tx (BabbageEra c) → ImpTestM (BabbageEra c) (Tx (BabbageEra c)) Source #