wip - Remove ToExprs

Author: Lucsanszky

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

@@ -21,7 +21,6 @@ module Test.Cardano.Ledger.Constrained.TypeRep (
   (:~:) (Refl),
   Singleton (..),
   Eql,
-  ToExprs,
   typeRepOf,
   synopsis,
   genSizedRep,
@@ -315,42 +314,6 @@ data Rep era t where
 stringR :: Rep era String
 stringR = ListR CharR
 
-type ToExprs e =
-  ( ToExpr (Value e)
-  , ToExpr (TxOut e)
-  , ToExpr (TxBody e)
-  , ToExpr (TxWits e)
-  , ToExpr (TxCert e)
-  , ToExpr (TxAuxData e)
-  , ToExpr (Tx e)
-  , ToExpr (PParamsHKD Identity e)
-  , ToExpr (PParamsHKD StrictMaybe e)
-  , ToExpr (CertState e)
-  , ToExpr MultiAsset
-  , ToExpr (WitnessesField e)
-  , ToExpr ValidityInterval
-  , ToExpr (Script e)
-  , ToExpr (PlutusPurpose AsIx e)
-  , ToExpr (PlutusPurpose AsIxItem e)
-  , ToExpr (ConwayTxCert e)
-  , ToExpr (ScriptsNeeded e)
-  , ToExpr (GovAction e)
-  , ToExpr (GovState e)
-  , ToExpr (GovActionState e)
-  , ToExpr (RatifyState e)
-  , ToExpr (EnactState e)
-  , ToExpr (InstantStake e)
-  , ToExpr GovActionId
-  , ToExpr Delegatee
-  , ToExpr (Proposals e)
-  , ToExpr (Committee e)
-  , ToExpr (Constitution e)
-  , ToExpr (GovRelation StrictMaybe e)
-  , ToExpr (DRepPulser e Identity (RatifyState e))
-  , ToExpr (TxBodyField e)
-  , ToExpr (TxField e)
-  )
-
 -- ===========================================================
 -- Proof of Rep equality