{-# LANGUAGE CPP #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-orphans #-}
#if __GLASGOW_HASKELL__ >= 908
{-# OPTIONS_GHC -Wno-x-unsafe-ledger-internal #-}
#endif

module Cardano.Ledger.Babbage.Era (
  BabbageEra,
  BBODY,
  UTXO,
  UTXOS,
  UTXOW,
  LEDGER,
  LEDGERS,

  -- * Deprecated
  BabbageUTXO,
  BabbageUTXOS,
  BabbageUTXOW,
  BabbageLEDGER,
) where

import Cardano.Ledger.Core
import Cardano.Ledger.Genesis (EraGenesis, NoGenesis)
import Cardano.Ledger.Internal.Era (BabbageEra)
import Cardano.Ledger.Mary.Value (MaryValue)
import qualified Cardano.Ledger.Shelley.Rules as Shelley

-- =====================================================

instance EraGenesis BabbageEra

instance EraTxLevel BabbageEra where
  type STxLevel l BabbageEra = STxTopLevel l BabbageEra

type instance TranslationContext BabbageEra = NoGenesis BabbageEra

type instance Value BabbageEra = MaryValue

-------------------------------------------------------------------------------
-- Era Mapping
-------------------------------------------------------------------------------

data UTXOS era

type BabbageUTXOS = UTXOS

{-# DEPRECATED BabbageUTXOS "In favor of `UTXOS`" #-}

type instance EraRule "UTXOS" BabbageEra = UTXOS BabbageEra

data UTXO era

type BabbageUTXO = UTXO

{-# DEPRECATED BabbageUTXO "In favor of `UTXO`" #-}

type instance EraRule "UTXO" BabbageEra = UTXO BabbageEra

data UTXOW era

type BabbageUTXOW = UTXOW

{-# DEPRECATED BabbageUTXOW "In favor of `UTXOW`" #-}

type instance EraRule "UTXOW" BabbageEra = UTXOW BabbageEra

data LEDGER c

type BabbageLEDGER = LEDGER

{-# DEPRECATED BabbageLEDGER "In favor of `LEDGER`" #-}

type instance EraRule "LEDGER" BabbageEra = LEDGER BabbageEra

data LEDGERS c

type instance EraRule "LEDGERS" BabbageEra = LEDGERS BabbageEra

data BBODY era

type instance EraRule "BBODY" BabbageEra = BBODY BabbageEra

-- Rules inherited from Shelley

type instance EraRule "DELEG" BabbageEra = Shelley.DELEG BabbageEra

type instance EraRule "DELEGS" BabbageEra = Shelley.DELEGS BabbageEra

type instance EraRule "DELPL" BabbageEra = Shelley.DELPL BabbageEra

type instance EraRule "EPOCH" BabbageEra = Shelley.EPOCH BabbageEra

type instance EraRule "MIR" BabbageEra = Shelley.MIR BabbageEra

type instance EraRule "NEWEPOCH" BabbageEra = Shelley.NEWEPOCH BabbageEra

type instance EraRule "NEWPP" BabbageEra = Shelley.NEWPP BabbageEra

type instance EraRule "POOL" BabbageEra = Shelley.POOL BabbageEra

type instance EraRule "POOLREAP" BabbageEra = Shelley.POOLREAP BabbageEra

type instance EraRule "PPUP" BabbageEra = Shelley.PPUP BabbageEra

type instance EraRule "RUPD" BabbageEra = Shelley.RUPD BabbageEra

type instance EraRule "SNAP" BabbageEra = Shelley.SNAP BabbageEra

type instance EraRule "TICK" BabbageEra = Shelley.TICK BabbageEra

type instance EraRule "TICKF" BabbageEra = Shelley.TICKF BabbageEra

type instance EraRule "UPEC" BabbageEra = Shelley.UPEC BabbageEra

-- =================================================