From 86f373a34138ce469f9948f06a24a2b31cb31be7 Mon Sep 17 00:00:00 2001 From: Jonathan Knowles Date: Mon, 4 Dec 2023 06:22:03 +0000 Subject: [PATCH] Remove unused `BuildableInAnyEra` type. --- .../Internal/Cardano/Write/Tx/Balance.hs | 23 ------------------- 1 file changed, 23 deletions(-) diff --git a/lib/balance-tx/lib/internal/Internal/Cardano/Write/Tx/Balance.hs b/lib/balance-tx/lib/internal/Internal/Cardano/Write/Tx/Balance.hs index 6db862f6a07..a813eadd4e3 100644 --- a/lib/balance-tx/lib/internal/Internal/Cardano/Write/Tx/Balance.hs +++ b/lib/balance-tx/lib/internal/Internal/Cardano/Write/Tx/Balance.hs @@ -183,10 +183,6 @@ import Data.Monoid.Monus import Data.Semigroup.Cancellative ( Reductive (()) ) -import Data.Type.Equality - ( (:~:) (..) - , testEquality - ) import Fmt ( Buildable , Builder @@ -325,25 +321,6 @@ import qualified Data.Map as Map import qualified Data.Sequence.Strict as StrictSeq import qualified Data.Set as Set --- | Helper wrapper type for the sake of logging. -data BuildableInAnyEra tx = forall era. - ( Eq (tx era) - , Show (tx era) - , Buildable (tx era) - ) => BuildableInAnyEra (CardanoApi.CardanoEra era) (tx era) - -instance Show (BuildableInAnyEra a) where - show (BuildableInAnyEra _ a) = show a - -instance Eq (BuildableInAnyEra a) where - BuildableInAnyEra era1 thing1 == BuildableInAnyEra era2 thing2 = - case testEquality era1 era2 of - Just Refl -> thing1 == thing2 - Nothing -> False - -instance Buildable (BuildableInAnyEra a) where - build (BuildableInAnyEra _ x) = build x - -- | Indicates a failure to select a sufficient amount of collateral. -- data ErrBalanceTxInsufficientCollateralError era =