module Test.Cardano.Ledger.Era

class (EraTest era, ApplyTx era, ShelleyEraScript era, EraTransition era, Arbitrary (TransitionConfig era), Eq (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), ToExpr (StashedAVVMAddresses era), NFData (StashedAVVMAddresses era), Default (StashedAVVMAddresses era), Arbitrary (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), ToExpr (ScriptsNeeded era), SafeToHash (TxWits era), Typeable (CertState era)) ⇒ ShelleyEraTest era Source #

mkShelleyTestAccountState ∷ (HasCallStack, ShelleyEraAccounts era) ⇒ Maybe Ptr → CompactForm Coin → Maybe (KeyHash 'StakePool) → Maybe DRep → AccountState era Source #

nativeAlwaysFails ∷ ∀ era. ShelleyEraScript era ⇒ Script era Source #

nativeAlwaysSucceeds ∷ ∀ era. ShelleyEraScript era ⇒ Script era Source #

shelleyAccountsFromAccountsMap ∷ (Accounts era ~ ShelleyAccounts era, AccountState era ~ ShelleyAccountState era, ShelleyEraAccounts era) ⇒ Map (Credential 'Staking) (AccountState era) → Accounts era Source #