{-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# OPTIONS_GHC -Wno-orphans #-} module Test.Cardano.Ledger.Conway.Imp (spec) where import Cardano.Ledger.Conway (ConwayEra) import Cardano.Ledger.Conway.Core import Cardano.Ledger.Conway.Rules ( ConwayEpochEvent, ConwayHardForkEvent, ConwayNewEpochEvent, ) import Control.State.Transition.Extended import qualified Test.Cardano.Ledger.Alonzo.Imp as AlonzoImp import qualified Test.Cardano.Ledger.Babbage.Imp as BabbageImp import qualified Test.Cardano.Ledger.Conway.Imp.BbodySpec as Bbody import qualified Test.Cardano.Ledger.Conway.Imp.CertsSpec as Certs import qualified Test.Cardano.Ledger.Conway.Imp.DelegSpec as Deleg import qualified Test.Cardano.Ledger.Conway.Imp.EnactSpec as Enact import qualified Test.Cardano.Ledger.Conway.Imp.EpochSpec as Epoch import qualified Test.Cardano.Ledger.Conway.Imp.GovCertSpec as GovCert import qualified Test.Cardano.Ledger.Conway.Imp.GovSpec as Gov import qualified Test.Cardano.Ledger.Conway.Imp.HardForkSpec as HardFork import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as Ledger import qualified Test.Cardano.Ledger.Conway.Imp.RatifySpec as Ratify import qualified Test.Cardano.Ledger.Conway.Imp.UtxoSpec as Utxo import qualified Test.Cardano.Ledger.Conway.Imp.UtxosSpec as Utxos import qualified Test.Cardano.Ledger.Conway.Imp.UtxowSpec as Utxow import Test.Cardano.Ledger.Conway.ImpTest import Test.Cardano.Ledger.Imp.Common spec :: forall era. ( ConwayEraImp era , EraSpecificSpec era , Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era , Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era , Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era ) => Spec spec :: forall era. (ConwayEraImp era, EraSpecificSpec era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) => Spec spec = do forall era. (BabbageEraImp era, EraSpecificSpec era) => Spec BabbageImp.spec @era forall era. ShelleyEraImp era => SpecWith (ImpInit (LedgerSpec era)) -> Spec withEachEraVersion @era (SpecWith (ImpInit (LedgerSpec era)) -> Spec) -> SpecWith (ImpInit (LedgerSpec era)) -> Spec forall a b. (a -> b) -> a -> b $ forall era. (ConwayEraImp era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) => SpecWith (ImpInit (LedgerSpec era)) conwayEraGenericSpec @era conwayEraGenericSpec :: forall era. ( ConwayEraImp era , Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era , Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era , Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era ) => SpecWith (ImpInit (LedgerSpec era)) conwayEraGenericSpec :: forall era. (ConwayEraImp era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) => SpecWith (ImpInit (LedgerSpec era)) conwayEraGenericSpec = do String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "BBODY" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Bbody.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "CERTS" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Certs.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "DELEG" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Deleg.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "ENACT" SpecWith (ImpInit (LedgerSpec era)) forall era. (ConwayEraImp era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era) => SpecWith (ImpInit (LedgerSpec era)) Enact.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "EPOCH" SpecWith (ImpInit (LedgerSpec era)) forall era. (ConwayEraImp era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era) => SpecWith (ImpInit (LedgerSpec era)) Epoch.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "GOV" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Gov.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "GOVCERT" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) GovCert.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "LEDGER" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Ledger.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "HARDFORK" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) HardFork.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "RATIFY" SpecWith (ImpInit (LedgerSpec era)) forall era. (HasCallStack, ConwayEraImp era) => SpecWith (ImpInit (LedgerSpec era)) Ratify.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "UTXO" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Utxo.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "UTXOS" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Utxos.spec String -> SpecWith (ImpInit (LedgerSpec era)) -> SpecWith (ImpInit (LedgerSpec era)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "UTXOW" SpecWith (ImpInit (LedgerSpec era)) forall era. ConwayEraImp era => SpecWith (ImpInit (LedgerSpec era)) Utxow.spec conwayEraSpecificSpec :: SpecWith (ImpInit (LedgerSpec ConwayEra)) conwayEraSpecificSpec :: SpecWith (ImpInit (LedgerSpec ConwayEra)) conwayEraSpecificSpec = do String -> SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "Conway era specific Imp spec" (SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra))) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) forall a b. (a -> b) -> a -> b $ do String -> SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "DELEG" SpecWith (ImpInit (LedgerSpec ConwayEra)) Deleg.conwayEraSpecificSpec String -> SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) forall a. HasCallStack => String -> SpecWith a -> SpecWith a describe String "UTXO" SpecWith (ImpInit (LedgerSpec ConwayEra)) forall era. (ConwayEraImp era, ShelleyEraTxCert era) => SpecWith (ImpInit (LedgerSpec era)) Utxo.conwayEraSpecificSpec instance EraSpecificSpec ConwayEra where eraSpecificSpec :: SpecWith (ImpInit (LedgerSpec ConwayEra)) eraSpecificSpec = SpecWith (ImpInit (LedgerSpec ConwayEra)) forall era. (AlonzoEraImp era, ShelleyEraTxCert era) => SpecWith (ImpInit (LedgerSpec era)) AlonzoImp.alonzoEraSpecificSpec SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) -> SpecWith (ImpInit (LedgerSpec ConwayEra)) forall a b. SpecM (ImpInit (LedgerSpec ConwayEra)) a -> SpecM (ImpInit (LedgerSpec ConwayEra)) b -> SpecM (ImpInit (LedgerSpec ConwayEra)) b forall (m :: * -> *) a b. Monad m => m a -> m b -> m b >> SpecWith (ImpInit (LedgerSpec ConwayEra)) conwayEraSpecificSpec