{-# LANGUAGE UndecidableSuperClasses #-} {-# OPTIONS_GHC -Wno-orphans #-} module Test.Cardano.Ledger.Mary.Era ( module Test.Cardano.Ledger.Allegra.Era, MaryEraTest, ) where import Cardano.Ledger.Mary import Cardano.Ledger.Mary.Core import Cardano.Ledger.Plutus (emptyCostModels) import Test.Cardano.Ledger.Allegra.Era import Test.Cardano.Ledger.Mary.Arbitrary () import Test.Cardano.Ledger.Mary.TreeDiff () class ( AllegraEraTest era , MaryEraTxBody era ) => MaryEraTest era instance EraTest MaryEra where zeroCostModels :: CostModels zeroCostModels = CostModels emptyCostModels mkTestAccountState :: HasCallStack => Maybe Ptr -> CompactForm Coin -> Maybe (KeyHash 'StakePool) -> Maybe DRep -> AccountState MaryEra mkTestAccountState = Maybe Ptr -> CompactForm Coin -> Maybe (KeyHash 'StakePool) -> Maybe DRep -> AccountState MaryEra forall era. (HasCallStack, ShelleyEraAccounts era) => Maybe Ptr -> CompactForm Coin -> Maybe (KeyHash 'StakePool) -> Maybe DRep -> AccountState era mkShelleyTestAccountState accountsFromAccountsMap :: Map (Credential 'Staking) (AccountState MaryEra) -> Accounts MaryEra accountsFromAccountsMap = Map (Credential 'Staking) (AccountState MaryEra) -> Accounts MaryEra forall era. (Accounts era ~ ShelleyAccounts era, AccountState era ~ ShelleyAccountState era, ShelleyEraAccounts era) => Map (Credential 'Staking) (AccountState era) -> Accounts era shelleyAccountsFromAccountsMap accountsToUMap :: Accounts MaryEra -> UMap accountsToUMap = Accounts MaryEra -> UMap forall era. ShelleyEraAccounts era => Accounts era -> UMap shelleyAccountsToUMap instance ShelleyEraTest MaryEra instance AllegraEraTest MaryEra instance MaryEraTest MaryEra