cardano-ledger-mary-1.7.0.1: Cardano ledger with multiasset support.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Mary.ImpTest

Contents

Orphan instances

Documentation

class (ShelleyEraImp era, MaryEraTxBody era, NativeScript era ~ Timelock era, Value era ~ MaryValue (EraCrypto era)) ⇒ MaryEraImp era Source #

Instances

Instances 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)) ⇒ MaryEraImp (MaryEra c) Source #
Instance details Defined in Test.Cardano.Ledger.Mary.ImpTest

module Test.Cardano.Ledger.Allegra.ImpTest

Orphan instances

(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 (MaryEra c) Source #

Instance details

Methods

initGenesis ∷ (HasKeyPairs s (EraCrypto (MaryEra c)), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (Genesis (MaryEra c)) Source #

initNewEpochState ∷ (HasKeyPairs s (EraCrypto (MaryEra c)), MonadState s m, HasStatefulGen (StateGenM s) m) ⇒ m (NewEpochState (MaryEra c)) Source #

initImpTestState ∷ (HasKeyPairs s (EraCrypto (MaryEra c)), MonadState s m, HasSubState s, SubState s ~ StateGen QCGen, HasStatefulGen (StateGenM s) m) ⇒ m (ImpTestState (MaryEra c)) Source #

impSatisfyNativeScript ∷ Set (KeyHash 'Witness (EraCrypto (MaryEra c))) → NativeScript (MaryEra c) → ImpTestM (MaryEra c) (Maybe (Map (KeyHash 'Witness (EraCrypto (MaryEra c))) (KeyPair 'Witness (EraCrypto (MaryEra c))))) Source #

modifyPParams ∷ (PParams (MaryEra c) → PParams (MaryEra c)) → ImpTestM (MaryEra c) () Source #

fixupTx ∷ Tx (MaryEra c) → ImpTestM (MaryEra c) (Tx (MaryEra c)) Source #