{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Test.Cardano.Ledger.Conway.TreeDiff (
  module Test.Cardano.Ledger.Babbage.TreeDiff,
) where

import Cardano.Ledger.Alonzo.Plutus.Context (ContextError)
import Cardano.Ledger.BaseTypes
import Cardano.Ledger.CertState (EraCertState (..))
import Cardano.Ledger.Conway (ConwayEra)
import Cardano.Ledger.Conway.Core
import Cardano.Ledger.Conway.Governance
import Cardano.Ledger.Conway.PParams
import Cardano.Ledger.Conway.Rules
import Cardano.Ledger.Conway.Scripts
import Cardano.Ledger.Conway.TxBody
import Cardano.Ledger.Conway.TxCert
import Cardano.Ledger.Conway.TxInfo (ConwayContextError)
import Cardano.Ledger.HKD
import Control.State.Transition.Extended (STS (..))
import Data.Functor.Identity
import Test.Cardano.Data.TreeDiff ()
import Test.Cardano.Ledger.Babbage.TreeDiff

-- Core
instance ToExpr PoolVotingThresholds

instance ToExpr DRepVotingThresholds

-- Scripts
instance ToExpr (PlutusScript ConwayEra)

instance ToExpr (ConwayPlutusPurpose AsIx era)

instance
  ( Era era
  , ToExpr (TxCert era)
  , ToExpr (PParamsHKD StrictMaybe era)
  ) =>
  ToExpr (ConwayPlutusPurpose AsItem era)

-- PlutusContext
instance
  ( Era era
  , ToExpr (PParamsHKD StrictMaybe era)
  , ToExpr (TxCert era)
  , ToExpr (PlutusPurpose AsIx era)
  , ToExpr (PlutusPurpose AsItem era)
  ) =>
  ToExpr (ConwayContextError era)

-- Governance/Procedure
instance ToExpr GovActionIx

instance ToExpr GovActionId

instance ToExpr (PParamsHKD StrictMaybe era) => ToExpr (GovActionState era)

instance ToExpr Voter

instance ToExpr Vote

instance Era era => ToExpr (VotingProcedures era)

instance ToExpr (VotingProcedure era)

instance ToExpr (PParamsHKD StrictMaybe era) => ToExpr (ProposalProcedure era)

instance ToExpr (Committee era)

instance ToExpr (GovPurposeId purpose era)

instance ToExpr (PParamsHKD StrictMaybe era) => ToExpr (GovAction era)

-- Governance/Proposals
instance ToExpr a => ToExpr (PRoot a)

instance ToExpr a => ToExpr (PEdges a)

instance ToExpr a => ToExpr (PGraph a)

instance
  (forall p. ToExpr (f (GovPurposeId (p :: GovActionPurpose) era))) =>
  ToExpr (GovRelation f era)

instance (Era era, ToExpr (PParamsHKD StrictMaybe era)) => ToExpr (Proposals era)

-- PParams
instance ToExpr (HKD f a) => ToExpr (THKD t f a) where
  toExpr :: THKD t f a -> Expr
toExpr = forall a. ToExpr a => a -> Expr
toExpr forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (t :: PPGroups) (f :: * -> *) a. THKD t f a -> HKD f a
unTHKD

instance ToExpr (ConwayPParams Identity era)

instance ToExpr (ConwayPParams StrictMaybe era)

-- Governance
instance (EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) => ToExpr (PulsingSnapshot era)

instance (Era era, ToExpr (PParams era)) => ToExpr (EnactState era)

instance
  ( EraPParams era
  , ToExpr (PParams era)
  , ToExpr (PParamsHKD StrictMaybe era)
  ) =>
  ToExpr (RatifyState era)

instance
  (EraPParams era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) =>
  ToExpr (ConwayGovState era)

instance
  (EraPParams era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (PParams era)) =>
  ToExpr (DRepPulsingState era)
  where
  toExpr :: DRepPulsingState era -> Expr
toExpr (DRComplete PulsingSnapshot era
x RatifyState era
y) = ConstructorName -> [Expr] -> Expr
App ConstructorName
"DRComplete" [forall a. ToExpr a => a -> Expr
toExpr PulsingSnapshot era
x, forall a. ToExpr a => a -> Expr
toExpr RatifyState era
y]
  toExpr x :: DRepPulsingState era
x@(DRPulsing (DRepPulser {})) = ConstructorName -> [Expr] -> Expr
App ConstructorName
"DRComplete" [forall a. ToExpr a => a -> Expr
toExpr PulsingSnapshot era
a, forall a. ToExpr a => a -> Expr
toExpr RatifyState era
b]
    where
      (PulsingSnapshot era
a, RatifyState era
b) = forall era.
DRepPulsingState era -> (PulsingSnapshot era, RatifyState era)
finishDRepPulser DRepPulsingState era
x

instance ToExpr (RatifyEnv era) where
  toExpr :: RatifyEnv era -> Expr
toExpr (RatifyEnv Map (Credential 'Staking) (CompactForm Coin)
stake PoolDistr
pool Map DRep (CompactForm Coin)
drep Map (Credential 'DRepRole) DRepState
dstate EpochNo
ep CommitteeState era
cs Map (Credential 'Staking) DRep
delegatees Map (KeyHash 'StakePool) PoolParams
poolps) =
    ConstructorName -> [Expr] -> Expr
App
      ConstructorName
"RatifyEnv"
      [ forall a. ToExpr a => a -> Expr
toExpr Map (Credential 'Staking) (CompactForm Coin)
stake
      , forall a. ToExpr a => a -> Expr
toExpr PoolDistr
pool
      , forall a. ToExpr a => a -> Expr
toExpr Map DRep (CompactForm Coin)
drep
      , forall a. ToExpr a => a -> Expr
toExpr Map (Credential 'DRepRole) DRepState
dstate
      , forall a. ToExpr a => a -> Expr
toExpr EpochNo
ep
      , forall a. ToExpr a => a -> Expr
toExpr CommitteeState era
cs
      , forall a. ToExpr a => a -> Expr
toExpr Map (Credential 'Staking) DRep
delegatees
      , forall a. ToExpr a => a -> Expr
toExpr Map (KeyHash 'StakePool) PoolParams
poolps
      ]

-- Rules/Gov
instance (EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) => ToExpr (ConwayGovPredFailure era)

-- TxCert
instance ToExpr Delegatee

instance ToExpr ConwayDelegCert

instance ToExpr ConwayGovCert

instance ToExpr (ConwayTxCert era)

-- Rules
instance ToExpr (ConwayGovCertPredFailure era)

instance ToExpr (ConwayDelegPredFailure era)

instance
  ( ToExpr (PlutusPurpose AsItem era)
  , ToExpr (ContextError era)
  , ToExpr (TxCert era)
  ) =>
  ToExpr (ConwayUtxosPredFailure era)

-- TxBody
instance
  (EraPParams era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxOut era), ToExpr (TxCert era)) =>
  ToExpr (ConwayTxBodyRaw era)

instance
  (EraPParams era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxOut era), ToExpr (TxCert era)) =>
  ToExpr (ConwayTxBody era)

-- Rules/Cert
instance
  ( ToExpr (PredicateFailure (EraRule "DELEG" era))
  , ToExpr (PredicateFailure (EraRule "GOVCERT" era))
  , ToExpr (PredicateFailure (EraRule "POOL" era))
  ) =>
  ToExpr (ConwayCertPredFailure era)

-- Rules/Certs
instance
  ToExpr (PredicateFailure (EraRule "CERT" era)) =>
  ToExpr (ConwayCertsPredFailure era)

-- Rules/Ledger
instance
  ( ToExpr (PredicateFailure (EraRule "UTXOW" era))
  , ToExpr (PredicateFailure (EraRule "GOV" era))
  , ToExpr (PredicateFailure (EraRule "CERTS" era))
  ) =>
  ToExpr (ConwayLedgerPredFailure era)

instance ToExpr (Constitution era)

instance
  ( ToExpr (Event (EraRule "EPOCH" era))
  , ToExpr (Event (EraRule "RUPD" era))
  ) =>
  ToExpr (ConwayNewEpochEvent era)

instance ToExpr (ConwayHardForkEvent era)

instance
  ( EraPParams era
  , ToExpr (PParams era)
  , ToExpr (PParamsHKD StrictMaybe era)
  , ToExpr (Event (EraRule "POOLREAP" era))
  , ToExpr (Event (EraRule "SNAP" era))
  , ToExpr (Event (EraRule "HARDFORK" era))
  ) =>
  ToExpr (ConwayEpochEvent era)

instance
  ( ToExpr (Event (EraRule "CERTS" era))
  , ToExpr (Event (EraRule "UTXOW" era))
  , ToExpr (Event (EraRule "GOV" era))
  , ToExpr (Event (EraRule "MEMPOOL" era))
  ) =>
  ToExpr (ConwayLedgerEvent era)

instance
  ToExpr (Event (EraRule "CERT" era)) =>
  ToExpr (ConwayCertsEvent era)

instance
  ( ToExpr (Event (EraRule "DELEG" era))
  , ToExpr (Event (EraRule "GOVCERT" era))
  , ToExpr (Event (EraRule "POOL" era))
  ) =>
  ToExpr (ConwayCertEvent era)

instance ToExpr (TxOut era) => ToExpr (ConwayUtxosEvent era)

instance
  ( Era era
  , ToExpr (PParamsHKD StrictMaybe era)
  ) =>
  ToExpr (ConwayGovEvent era)

instance
  ( EraPParams era
  , ToExpr (PParamsHKD StrictMaybe era)
  , ToExpr (TxCert era)
  ) =>
  ToExpr (GovSignal era)

instance (ToExpr (PParams era), ToExpr (CertState era)) => ToExpr (GovEnv era)

instance
  ( ToExpr (PParams era)
  , ToExpr (PParamsHKD StrictMaybe era)
  ) =>
  ToExpr (ConwayGovCertEnv era)

instance
  ( ToExpr (Value era)
  , ToExpr (TxOut era)
  , ToExpr (PredicateFailure (EraRule "UTXOS" era))
  ) =>
  ToExpr (ConwayUtxoPredFailure era)

instance
  ( Era era
  , ToExpr (PredicateFailure (EraRule "UTXO" era))
  , ToExpr (PlutusPurpose AsIx era)
  , ToExpr (PlutusPurpose AsItem era)
  , ToExpr (TxCert era)
  ) =>
  ToExpr (ConwayUtxowPredFailure era)

instance
  ( ToExpr (PParams era)
  , ToExpr (PParamsHKD StrictMaybe era)
  ) =>
  ToExpr (CertEnv era)

instance ToExpr (PParams era) => ToExpr (ConwayDelegEnv era)

instance ToExpr (PParamsHKD StrictMaybe era) => ToExpr (RatifySignal era)

instance ToExpr (PParamsHKD StrictMaybe era) => ToExpr (EnactSignal era)

instance ToExpr (ConwayNewEpochPredFailure era)

instance
  ( ToExpr (PParamsHKD Identity era)
  , ToExpr (PParamsHKD StrictMaybe era)
  , ToExpr (Tx era)
  ) =>
  ToExpr (CertsEnv era)