{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableSuperClasses #-} {-# OPTIONS_GHC -Wno-orphans #-} module Test.Cardano.Ledger.Alonzo.Era ( module Test.Cardano.Ledger.Mary.Era, AlonzoEraTest, ) where import Cardano.Ledger.Alonzo import Cardano.Ledger.Alonzo.Core import Cardano.Ledger.Alonzo.Plutus.Context import Cardano.Ledger.Alonzo.UTxO import Cardano.Ledger.Plutus (Language (..)) import Data.TreeDiff import Test.Cardano.Ledger.Alonzo.Arbitrary () import Test.Cardano.Ledger.Alonzo.TreeDiff () import Test.Cardano.Ledger.Mary.Era import Test.Cardano.Ledger.Plutus (zeroTestingCostModels) class ( MaryEraTest era , EraPlutusContext era , AlonzoEraTx era , AlonzoEraTxAuxData era , AlonzoEraUTxO era , ToExpr (PlutusScript era) , ToExpr (PlutusPurpose AsIx era) , ToExpr (PlutusPurpose AsIxItem era) , Script era ~ AlonzoScript era ) => AlonzoEraTest era instance EraTest AlonzoEra where zeroCostModels :: CostModels zeroCostModels = HasCallStack => [Language] -> CostModels [Language] -> CostModels zeroTestingCostModels [Language PlutusV1] mkTestAccountState :: HasCallStack => Maybe Ptr -> CompactForm Coin -> Maybe (KeyHash 'StakePool) -> Maybe DRep -> AccountState AlonzoEra mkTestAccountState = Maybe Ptr -> CompactForm Coin -> Maybe (KeyHash 'StakePool) -> Maybe DRep -> AccountState AlonzoEra forall era. (HasCallStack, ShelleyEraAccounts era) => Maybe Ptr -> CompactForm Coin -> Maybe (KeyHash 'StakePool) -> Maybe DRep -> AccountState era mkShelleyTestAccountState accountsFromAccountsMap :: Map (Credential 'Staking) (AccountState AlonzoEra) -> Accounts AlonzoEra accountsFromAccountsMap = Map (Credential 'Staking) (AccountState AlonzoEra) -> Accounts AlonzoEra forall era. (Accounts era ~ ShelleyAccounts era, AccountState era ~ ShelleyAccountState era, ShelleyEraAccounts era) => Map (Credential 'Staking) (AccountState era) -> Accounts era shelleyAccountsFromAccountsMap accountsToUMap :: Accounts AlonzoEra -> UMap accountsToUMap = Accounts AlonzoEra -> UMap forall era. ShelleyEraAccounts era => Accounts era -> UMap shelleyAccountsToUMap instance ShelleyEraTest AlonzoEra instance AllegraEraTest AlonzoEra instance MaryEraTest AlonzoEra instance AlonzoEraTest AlonzoEra