| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Allegra.ImpTest
Contents
Documentation
impAllegraSatisfyNativeScript ∷ (AllegraEraScript era, AllegraEraTxBody era) ⇒ Set (KeyHash 'Witness) → TxBody era → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #
Orphan instances
| ShelleyEraImp AllegraEra Source # | |
Methods initGenesis ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (Genesis AllegraEra) Source # initNewEpochState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (NewEpochState AllegraEra) Source # initImpTestState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (ImpTestState AllegraEra) Source # impSatisfyNativeScript ∷ Set (KeyHash 'Witness) → TxBody AllegraEra → NativeScript AllegraEra → ImpTestM AllegraEra (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source # modifyPParams ∷ (PParams AllegraEra → PParams AllegraEra) → ImpTestM AllegraEra () Source # fixupTx ∷ Tx AllegraEra → ImpTestM AllegraEra (Tx AllegraEra) Source # | |