module Test.Cardano.Ledger.Era

class (EraTest 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), ToExpr (ScriptsNeeded 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 #

shelleyAccountsToUMap ∷ ShelleyEraAccounts era ⇒ Accounts era → UMap Source #