{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-redundant-constraints #-} module Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers () where import Cardano.Ledger.Conway.Core import Cardano.Ledger.Shelley.Rules (Identity, ShelleyLedgersEnv) import Constrained.API import Data.Typeable import Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger (EraSpecPParams) instance Typeable era => HasSimpleRep (ShelleyLedgersEnv era) instance ( EraSpecPParams era , EraGov era , EraTxOut era , Eq (PParamsHKD Identity era) ) => HasSpec (ShelleyLedgersEnv era)