cardano-ledger-allegra-1.6.0.1: Allegra ledger era that introduces time lock support.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Allegra.ImpTest

Contents

Orphan instances

Documentation

impAllegraSatisfyNativeScript ∷ AllegraEraScript era ⇒ Set (KeyHash 'Witness (EraCrypto era)) → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness (EraCrypto era)) (KeyPair 'Witness (EraCrypto era)))) Source #

module Test.Cardano.Ledger.Shelley.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 (AllegraEra c) Source #

Instance details

Methods

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

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

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

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

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

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