Remove Pretty from cardano-ledger-test

Author: Lucsanszky

libs/cardano-ledger-test/cardano-ledger-test.cabal

@@ -92,11 +92,8 @@ library
     Test.Cardano.Ledger.Generic.Indexed
     Test.Cardano.Ledger.Generic.MockChain
     Test.Cardano.Ledger.Generic.ModelState
-    Test.Cardano.Ledger.Generic.PrettyCore
-    Test.Cardano.Ledger.Generic.PrettyTest
     Test.Cardano.Ledger.Generic.Proof
     Test.Cardano.Ledger.Generic.Properties
-    Test.Cardano.Ledger.Generic.Same
     Test.Cardano.Ledger.Generic.Scriptic
     Test.Cardano.Ledger.Generic.Trace
     Test.Cardano.Ledger.Generic.TxGen

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Ast.hs

@@ -58,7 +58,6 @@ import Test.Cardano.Ledger.Constrained.TypeRep (
   testEql,
   (:~:) (Refl),
  )
-import Test.Cardano.Ledger.Generic.PrettyCore (PDoc, ppRecord, ppString)
 import Test.Cardano.Ledger.Generic.Proof (Reflect)
 import Test.QuickCheck (Gen, oneof)
 import Type.Reflection (TypeRep, Typeable, typeRep)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Classes.hs

@@ -63,24 +63,6 @@ import Test.Cardano.Ledger.Conway.Arbitrary ()
 import Test.Cardano.Ledger.Core.Arbitrary ()
 import Test.Cardano.Ledger.Generic.Functions (protocolVersion)
 import Test.Cardano.Ledger.Generic.GenState (plutusPurposeTags)
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  PDoc,
-  PrettyA (..),
-  pcCertState,
-  pcPParams,
-  pcScript,
-  pcScriptsNeeded,
-  pcTx,
-  pcTxBody,
-  pcTxCert,
-  pcTxOut,
-  pcVal,
-  pcWitnesses,
-  ppPlutusPurposeAsIx,
-  ppPlutusPurposeAsIxItem,
-  ppProposedPPUpdates,
-  ppString,
- )
 import Test.Cardano.Ledger.Generic.Proof (
   Proof (..),
   Reflect (..),

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Instances/Basic.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DeriveAnyClass #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE FlexibleContexts #-}
@@ -57,14 +58,14 @@ import Control.Monad.Identity (Identity (..))
 import Control.Monad.Trans.Fail.String
 import Data.Maybe
 import Data.Ratio ((%))
+import Data.TreeDiff.Class
 import Data.Typeable
 import Data.Word
 import GHC.Generics (Generic)
 import Numeric.Natural (Natural)
 import System.Random
 import Test.Cardano.Ledger.Allegra.Arbitrary ()
 import Test.Cardano.Ledger.Alonzo.Arbitrary ()
-import Test.Cardano.Ledger.Generic.PrettyCore (PrettyA (..))
 import Test.Cardano.Ledger.Generic.Proof (Reflect (..))
 import Test.QuickCheck hiding (Args, Fun, NonZero, forAll)
 
@@ -268,10 +269,13 @@ data SimplePParams era = SimplePParams
   , dRepActivity :: EpochInterval
   , minFeeRefScriptCostPerByte :: NonNegativeInterval
   }
-  deriving (Eq, Generic)
+  deriving (Eq, Generic, ToExpr)
+
+instance ToExpr PoolVotingThresholds
+instance ToExpr DRepVotingThresholds
 
 instance (EraSpecPParams era, Reflect era) => Show (SimplePParams era) where
-  show x = show (prettyA (subsetToPP @era x))
+  show x = show (toExpr (subsetToPP @era x))
 
 -- | Use then generic HasSimpleRep and HasSpec instances for SimplePParams
 instance HasSimpleRep (SimplePParams era)
@@ -366,6 +370,7 @@ class
   ( Reflect era
   , Eq (PParamsHKD Identity era)
   , Show (PParamsHKD Identity era)
+  , ToExpr (PParamsHKD Identity era)
   , Eq (PParamsHKD StrictMaybe era)
   , Show (PParamsHKD StrictMaybe era)
   , EraPParams era

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Instances/PParams.hs

@@ -93,7 +93,11 @@ import Lens.Micro
 import Numeric.Natural (Natural)
 import Test.Cardano.Ledger.Allegra.Arbitrary ()
 import Test.Cardano.Ledger.Alonzo.Arbitrary ()
+import Test.Cardano.Ledger.Alonzo.TreeDiff ()
+import Test.Cardano.Ledger.Babbage.TreeDiff ()
 import Test.Cardano.Ledger.Constrained.Conway.Instances.Basic
+import Test.Cardano.Ledger.Conway.TreeDiff ()
+import Test.Cardano.Ledger.Shelley.TreeDiff ()
 
 -- ============================================
 

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/LedgerTypes/Tests.hs

@@ -37,7 +37,6 @@ import Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
 import Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
 import Test.Cardano.Ledger.Constrained.Conway.PParams (pparamsSpec)
 import Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
-import Test.Cardano.Ledger.Generic.PrettyCore (PrettyA (prettyA))
 import Test.Hspec
 import Test.Hspec.QuickCheck (prop)
 import Test.QuickCheck (

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/TxBodySpec.hs

@@ -73,18 +73,6 @@ import Test.Cardano.Ledger.Generic.Fields (
   TxBodyField (..),
   abstractTxBody,
  )
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  PDoc,
-  PrettyA (..),
-  pcTxBodyField,
-  pcTxBodyWithUTxO,
-  pcTxIn,
-  pcTxOut,
-  ppList,
-  ppMap,
-  ppRecord,
-  ppString,
- )
 
 import Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
 

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/WitnessUniverse.hs

@@ -93,7 +93,6 @@ import Test.Cardano.Ledger.Constrained.Conway.Instances.PParams ()
 import Test.Cardano.Ledger.Constrained.Preds.Universes (genAddrPair)
 import Test.Cardano.Ledger.Conway.TreeDiff ()
 import Test.Cardano.Ledger.Core.KeyPair (KeyPair (..), mkWitnessVKey)
-import Test.Cardano.Ledger.Generic.PrettyCore
 import Test.Cardano.Ledger.Generic.Proof (Reflect)
 import qualified Test.Cardano.Ledger.Generic.Proof as Proof
 import Test.QuickCheck hiding (forAll, witness)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Examples.hs

@@ -39,7 +39,6 @@ import Test.Cardano.Ledger.Constrained.Tests (prop_shrinking, prop_soundness)
 import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Utils (explainBad, testIO)
 import Test.Cardano.Ledger.Constrained.Vars
-import Test.Cardano.Ledger.Generic.PrettyCore (PrettyA (..))
 import Test.Cardano.Ledger.Generic.Proof (ConwayEra, Reflect (..))
 import Test.Cardano.Ledger.Generic.Trace (testPropMax)
 import Test.Hspec (shouldThrow)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/CertState.hs

@@ -32,12 +32,6 @@ import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Utils (testIO)
 import Test.Cardano.Ledger.Constrained.Vars
 import Test.Cardano.Ledger.Generic.Functions (protocolVersion)
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  pcCertState,
-  pcDState,
-  pcPState,
-  pcVState,
- )
 import Test.Cardano.Ledger.Generic.Proof
 import Test.QuickCheck
 import Test.Tasty (TestTree, defaultMain, testGroup)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/Certs.hs

@@ -57,7 +57,6 @@ import Test.Cardano.Ledger.Constrained.Solver (toolChainSub)
 import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Utils (testIO)
 import Test.Cardano.Ledger.Constrained.Vars
-import Test.Cardano.Ledger.Generic.PrettyCore (pcTxCert, ppList)
 import Test.Cardano.Ledger.Generic.Proof
 import Test.QuickCheck
 import Test.Tasty (TestTree, defaultMain)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/LedgerState.hs

@@ -65,7 +65,6 @@ import Test.Cardano.Ledger.Constrained.Solver (toolChainSub)
 import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Utils (testIO)
 import Test.Cardano.Ledger.Constrained.Vars
-import Test.Cardano.Ledger.Generic.PrettyCore (pcLedgerState)
 import Test.Cardano.Ledger.Generic.Proof
 import Test.QuickCheck
 import Test.Tasty (TestTree, defaultMain)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/NewEpochState.hs

@@ -33,7 +33,6 @@ import Test.Cardano.Ledger.Constrained.Solver (toolChainSub)
 import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Utils (testIO)
 import Test.Cardano.Ledger.Constrained.Vars
-import Test.Cardano.Ledger.Generic.PrettyCore (pcEpochState, pcNewEpochState)
 import Test.Cardano.Ledger.Generic.Proof
 import Test.QuickCheck
 import Test.Tasty (TestTree, defaultMain)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/Tx.hs

@@ -96,27 +96,6 @@ import Test.Cardano.Ledger.Generic.Fields (
  )
 import Test.Cardano.Ledger.Generic.Functions (TotalAda (totalAda), protocolVersion)
 import Test.Cardano.Ledger.Generic.GenState (mkRedeemers)
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  PDoc,
-  PrettyA (..),
-  pcGenDelegPair,
-  pcKeyHash,
-  pcLedgerState,
-  pcScript,
-  pcScriptHash,
-  pcTx,
-  pcTxBody,
-  pcTxBodyField,
-  pcTxField,
-  pcTxIn,
-  pcTxOut,
-  ppMap,
-  ppRecord,
-  ppSafeHash,
-  ppString,
-  psNewEpochState,
-  putDoc,
- )
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.TxGen (applySTSByProof)
 import Test.Cardano.Ledger.Generic.Updaters (newScriptIntegrityHash)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/TxOut.hs

@@ -57,15 +57,6 @@ import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Utils (testIO)
 import Test.Cardano.Ledger.Constrained.Vars
 import Test.Cardano.Ledger.Generic.Fields (TxBodyField (..), TxOutField (..))
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  pcData,
-  pcDataHash,
-  pcScript,
-  pcScriptHash,
-  pcTxOut,
-  ppList,
-  ppMap,
- )
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Updaters (newTxBody, newTxOut)
 import Test.QuickCheck

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Preds/UTxO.hs

@@ -22,7 +22,6 @@ import Test.Cardano.Ledger.Constrained.Size (Size (..))
 import Test.Cardano.Ledger.Constrained.Solver (toolChainSub)
 import Test.Cardano.Ledger.Constrained.TypeRep
 import Test.Cardano.Ledger.Constrained.Vars
-import Test.Cardano.Ledger.Generic.PrettyCore (pcUTxO)
 import Test.Cardano.Ledger.Generic.Proof
 import Test.QuickCheck
 

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/DrepCertTx.hs

@@ -72,7 +72,6 @@ import Test.Cardano.Ledger.Constrained.Trace.TraceMonad (
 import Test.Cardano.Ledger.Constrained.Vars
 import Test.Cardano.Ledger.Generic.Fields (TxBodyField (..))
 import Test.Cardano.Ledger.Generic.MockChain (MockBlock (..), MockChainState (..))
-import Test.Cardano.Ledger.Generic.PrettyCore (pcNewEpochState, pcTxCert, ppList)
 import Test.Cardano.Ledger.Generic.Proof (
   ConwayEra,
   Proof (..),

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/Tests.hs

@@ -43,7 +43,6 @@ import Test.Cardano.Ledger.Constrained.Trace.TraceMonad (
   toGen,
  )
 import Test.Cardano.Ledger.Constrained.Vars hiding (drepDeposit)
-import Test.Cardano.Ledger.Generic.PrettyCore (pcTx)
 import Test.Cardano.Ledger.Generic.Proof hiding (LEDGER, lift)
 import Test.Cardano.Ledger.Generic.TxGen (applySTSByProof)
 import Test.QuickCheck (

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Trace/TraceMonad.hs

@@ -81,16 +81,6 @@ import Test.Cardano.Ledger.Constrained.Rewrite (
 import Test.Cardano.Ledger.Constrained.Solver (solveOneVar)
 import Test.Cardano.Ledger.Constrained.Vars (currentSlot, newEpochStateT)
 import Test.Cardano.Ledger.Generic.MockChain (MOCKCHAIN, MockBlock (..), MockChainState (..))
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  pcSlotNo,
-  pcTx,
-  ppInt,
-  ppList,
-  ppPair,
-  ppStrictSeq,
-  psNewEpochState,
-  summaryMapCompact,
- )
 import Test.Cardano.Ledger.Generic.Proof hiding (lift)
 import Test.Cardano.Ledger.Generic.Trace (chooseIssuer)
 import Test.Cardano.Ledger.Shelley.Utils (applySTSTest, runShelleyBase, testGlobals)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/TypeRep.hs

@@ -164,64 +164,6 @@ import Test.Cardano.Ledger.Core.Arbitrary ()
 import Test.Cardano.Ledger.Core.KeyPair (KeyPair (..))
 import Test.Cardano.Ledger.Generic.Fields (WitnessesField (..))
 import Test.Cardano.Ledger.Generic.Functions (protocolVersion)
-import Test.Cardano.Ledger.Generic.PrettyCore (
-  PDoc,
-  credSummary,
-  keyHashSummary,
-  pcAnchor,
-  pcCertState,
-  pcCoin,
-  pcCommittee,
-  pcConstitution,
-  pcConwayTxCert,
-  pcDRep,
-  pcDRepPulser,
-  pcDRepState,
-  pcDState,
-  pcData,
-  pcDataHash,
-  pcDatum,
-  pcDelegatee,
-  pcEnactState,
-  pcFutureGenDeleg,
-  pcFuturePParams,
-  pcGenDelegPair,
-  pcGovAction,
-  pcGovActionId,
-  pcGovActionState,
-  pcIndividualPoolStake,
-  pcLedgerState,
-  pcMultiAsset,
-  pcPParams,
-  pcPrevGovActionIds,
-  pcProposals,
-  pcRatifyState,
-  pcReward,
-  pcRewardAccount,
-  pcScriptHash,
-  pcShelleyTxCert,
-  pcTx,
-  pcTxBody,
-  pcTxCert,
-  pcTxIn,
-  pcTxOut,
-  pcVal,
-  pcWitVKey,
-  pcWitnesses,
-  pcWitnessesField,
-  ppHash,
-  ppInteger,
-  ppList,
-  ppMap,
-  ppMaybe,
-  ppRecord',
-  ppSet,
-  ppString,
-  ppVKey,
-  ppValidityInterval,
-  ppWord16,
-  trim,
- )
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Updaters (newTxBody)
 import Test.Cardano.Ledger.Shelley.Serialisation.EraIndepGenerators ()

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Vars.hs

@@ -177,7 +177,6 @@ import Test.Cardano.Ledger.Generic.Fields (TxBodyField (..), TxField (..), Witne
 import qualified Test.Cardano.Ledger.Generic.Fields as Fields
 import Test.Cardano.Ledger.Generic.Functions (protocolVersion)
 import Test.Cardano.Ledger.Generic.GenState (mkRedeemers)
-import Test.Cardano.Ledger.Generic.PrettyCore (ppString, withEraPParams)
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Updaters (merge, newPParams, newTx, newTxBody, newWitnesses)
 import Test.Cardano.Ledger.Shelley.Utils (testGlobals)

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/AlonzoAPI.hs

@@ -39,7 +39,6 @@ import Test.Cardano.Ledger.Generic.Fields (
   WitnessesField (..),
  )
 import Test.Cardano.Ledger.Generic.GenState (PlutusPurposeTag (..))
-import Test.Cardano.Ledger.Generic.PrettyCore ()
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Scriptic (Scriptic (..))
 import Test.Cardano.Ledger.Generic.Updaters

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/AlonzoBBODY.hs

@@ -97,7 +97,6 @@ import Test.Cardano.Ledger.Generic.Fields (
   WitnessesField (..),
  )
 import Test.Cardano.Ledger.Generic.GenState (PlutusPurposeTag (..))
-import Test.Cardano.Ledger.Generic.PrettyCore ()
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Scriptic (
   HasTokens (..),

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/AlonzoCollectInputs.hs

@@ -57,7 +57,6 @@ import Test.Cardano.Ledger.Generic.Fields (
   WitnessesField (..),
  )
 import Test.Cardano.Ledger.Generic.GenState (PlutusPurposeTag (..), mkRedeemersFromTags)
-import Test.Cardano.Ledger.Generic.PrettyCore ()
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Scriptic (Scriptic (..))
 import Test.Cardano.Ledger.Generic.Updaters

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Examples/STSTestUtils.hs

@@ -82,7 +82,6 @@ import qualified PlutusLedgerApi.V1 as PV1
 import Test.Cardano.Ledger.Core.KeyPair (KeyPair (..), mkAddr)
 import Test.Cardano.Ledger.Generic.Fields (TxOutField (..))
 import Test.Cardano.Ledger.Generic.GenState (PlutusPurposeTag, mkRedeemersFromTags)
-import Test.Cardano.Ledger.Generic.PrettyCore (PrettyA (..))
 import Test.Cardano.Ledger.Generic.Proof
 import Test.Cardano.Ledger.Generic.Scriptic (PostShelley, Scriptic (..), after, matchkey)
 import Test.Cardano.Ledger.Generic.Updaters

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/ApplyTx.hs

@@ -68,7 +68,6 @@ import Test.Cardano.Ledger.Generic.ModelState (
   mNewEpochStateZero,
   pcModelNewEpochState,
  )
-import Test.Cardano.Ledger.Generic.PrettyCore (pcCredential, pcTx)
 import Test.Cardano.Ledger.Generic.Proof hiding (lift)
 import Test.Cardano.Ledger.Generic.Scriptic (Scriptic (never))
 import Test.Cardano.Ledger.Generic.Updaters (