Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Mary.ImpTest

Contents

Orphan instances

Documentation

class (AllegraEraImp era, MaryEraTest era, Value era ~ MaryValue) ⇒ MaryEraImp era Source #

Instances

Instances details

MaryEraImp MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Mary.ImpTest

module Test.Cardano.Ledger.Allegra.ImpTest

Orphan instances

AllegraEraImp MaryEra Source #
Instance details
ShelleyEraImp MaryEra Source #
Instance details Methods initGenesis ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (Genesis MaryEra) Source # initTransitionConfig ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (TransitionConfig MaryEra) Source # initNewEpochState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (NewEpochState MaryEra) Source # initImpTestState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (ImpTestState MaryEra) Source # impSatisfyNativeScript ∷ ∀ (l ∷ TxLevel). Set (KeyHash 'Witness) → TxBody l MaryEra → NativeScript MaryEra → ImpTestM MaryEra (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source # modifyPParams ∷ (PParams MaryEra → PParams MaryEra) → ImpTestM MaryEra () Source # modifyImpInitProtVer ∷ Version → SpecWith (ImpInit (LedgerSpec MaryEra)) → SpecWith (ImpInit (LedgerSpec MaryEra)) Source # fixupTx ∷ Tx 'TopTx MaryEra → ImpTestM MaryEra (Tx 'TopTx MaryEra) Source # expectTxSuccess ∷ Tx 'TopTx MaryEra → ImpTestM MaryEra () Source # genRegTxCert ∷ Credential 'Staking → ImpTestM MaryEra (TxCert MaryEra) Source # genUnRegTxCert ∷ Credential 'Staking → ImpTestM MaryEra (TxCert MaryEra) Source # delegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert MaryEra Source # topTxFromAnyLevel ∷ (∀ (l ∷ TxLevel). Typeable l ⇒ Tx l MaryEra) → ImpTestM MaryEra (Tx 'TopTx MaryEra) Source # impWitsPState ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → ImpTestM MaryEra (PState MaryEra) Source #