Merge pull request #308 from input-output-hk/newhoggy/delete-EraCast

Delete `EraCast` type class
IntersectMBO · Oct 11, 2023 · 3ca2774 · 3ca2774
2 parents 20a58e1 + f978ed0
commit 3ca2774
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 104 deletions.
diff --git a/cardano-api/cardano-api.cabal b/cardano-api/cardano-api.cabal
@@ -73,7 +73,6 @@ library internal
                         Cardano.Api.Eon.ShelleyToAlonzoEra
                         Cardano.Api.Eon.ShelleyToBabbageEra
                         Cardano.Api.Eon.ShelleyToMaryEra
-                        Cardano.Api.EraCast
                         Cardano.Api.Eras
                         Cardano.Api.Eras.Case
                         Cardano.Api.Eras.Constraints

diff --git a/cardano-api/internal/Cardano/Api/Address.hs b/cardano-api/internal/Cardano/Api/Address.hs
@@ -80,7 +80,6 @@ module Cardano.Api.Address (
   ) where
 
 import           Cardano.Api.Eon.ShelleyBasedEra
-import           Cardano.Api.EraCast
 import           Cardano.Api.Eras
 import           Cardano.Api.Hash
 import           Cardano.Api.HasTypeProxy
@@ -378,11 +377,6 @@ instance IsShelleyBasedEra era => FromJSON (AddressInEra era) where
     addressAny <- runParsecParser parseAddressAny txt
     pure $ anyAddressInShelleyBasedEra addressAny
 
-instance EraCast AddressInEra where
-  eraCast toEra' (AddressInEra addressTypeInEra address) = AddressInEra
-    <$> eraCast toEra' addressTypeInEra
-    <*> pure address
-
 parseAddressAny :: Parsec.Parser AddressAny
 parseAddressAny = do
     str <- lexPlausibleAddressString
@@ -469,14 +463,6 @@ instance IsCardanoEra era => SerialiseAddress (AddressInEra era) where
     deserialiseAddress _ t =
       rightToMaybe . anyAddressInEra cardanoEra =<< deserialiseAddress AsAddressAny t
 
-instance EraCast (AddressTypeInEra addrtype) where
-  eraCast toEra' v = case v of
-    ByronAddressInAnyEra -> pure ByronAddressInAnyEra
-    ShelleyAddressInEra previousEra ->
-      case cardanoEraStyle toEra' of
-        LegacyByronEra -> Left $ EraCastError v (shelleyBasedToCardanoEra previousEra) toEra'
-        ShelleyBasedEra newSbe -> Right $ ShelleyAddressInEra newSbe
-
 byronAddressInEra :: Address ByronAddr -> AddressInEra era
 byronAddressInEra = AddressInEra ByronAddressInAnyEra
 

diff --git a/cardano-api/internal/Cardano/Api/EraCast.hs b/cardano-api/internal/Cardano/Api/EraCast.hs
diff --git a/cardano-api/internal/Cardano/Api/Query.hs b/cardano-api/internal/Cardano/Api/Query.hs
@@ -82,7 +82,6 @@ import           Cardano.Api.Address
 import           Cardano.Api.Block
 import           Cardano.Api.Certificate
 import           Cardano.Api.Eon.ShelleyBasedEra
-import           Cardano.Api.EraCast
 import           Cardano.Api.Eras.Constraints
 import           Cardano.Api.Eras.Core
 import           Cardano.Api.GenesisParameters
@@ -127,7 +126,6 @@ import           Ouroboros.Network.Block (Serialised (..))
 import           Ouroboros.Network.NodeToClient.Version (NodeToClientVersion (..))
 import           Ouroboros.Network.Protocol.LocalStateQuery.Client (Some (..))
 
-import           Control.Monad (forM)
 import           Control.Monad.Trans.Except
 import           Data.Aeson (FromJSON (..), ToJSON (..), withObject)
 import qualified Data.Aeson as Aeson
@@ -377,9 +375,6 @@ newtype ByronUpdateState = ByronUpdateState Byron.Update.State
 newtype UTxO era = UTxO { unUTxO :: Map TxIn (TxOut CtxUTxO era) }
   deriving (Eq, Show)
 
-instance EraCast UTxO where
-  eraCast toEra' (UTxO m) = UTxO <$> forM m (eraCast toEra')
-
 data UTxOInAnyEra where
   UTxOInAnyEra :: CardanoEra era
                -> UTxO era

diff --git a/cardano-api/internal/Cardano/Api/Script.hs b/cardano-api/internal/Cardano/Api/Script.hs
@@ -110,7 +110,6 @@ module Cardano.Api.Script (
 
 import           Cardano.Api.Eon.BabbageEraOnwards
 import           Cardano.Api.Eon.ShelleyBasedEra
-import           Cardano.Api.EraCast
 import           Cardano.Api.Eras.Case
 import           Cardano.Api.Eras.Core
 import           Cardano.Api.Error
@@ -1400,15 +1399,6 @@ instance IsCardanoEra era => FromJSON (ReferenceScript era) where
       (\w -> ReferenceScript w <$> o .: "referenceScript")
       (cardanoEra :: CardanoEra era)
 
-instance EraCast ReferenceScript where
-  eraCast toEra = \case
-    ReferenceScriptNone -> pure ReferenceScriptNone
-    v@(ReferenceScript ws scriptInAnyLang) ->
-      caseByronToAlonzoOrBabbageEraOnwards
-        (const (Left $ EraCastError v (babbageEraOnwardsToCardanoEra ws) toEra))
-        (\wt -> Right $ ReferenceScript wt scriptInAnyLang)
-        toEra
-
 refScriptToShelleyScript
   :: CardanoEra era
   -> ReferenceScript era

diff --git a/cardano-api/internal/Cardano/Api/TxBody.hs b/cardano-api/internal/Cardano/Api/TxBody.hs
@@ -160,7 +160,6 @@ import           Cardano.Api.Eon.MaryEraOnwards
 import           Cardano.Api.Eon.ShelleyBasedEra
 import           Cardano.Api.Eon.ShelleyEraOnly
 import           Cardano.Api.Eon.ShelleyToBabbageEra
-import           Cardano.Api.EraCast
 import           Cardano.Api.Eras.Case
 import           Cardano.Api.Eras.Constraints
 import           Cardano.Api.Eras.Core
@@ -327,14 +326,6 @@ data TxOut ctx era = TxOut (AddressInEra    era)
 deriving instance Eq   (TxOut ctx era)
 deriving instance Show (TxOut ctx era)
 
-instance EraCast (TxOut ctx) where
-  eraCast toEra (TxOut addressInEra txOutValue txOutDatum referenceScript) =
-    TxOut
-      <$> eraCast toEra addressInEra
-      <*> eraCast toEra txOutValue
-      <*> eraCast toEra txOutDatum
-      <*> eraCast toEra referenceScript
-
 data TxOutInAnyEra where
      TxOutInAnyEra :: CardanoEra era
                    -> TxOut CtxTx era
@@ -895,19 +886,6 @@ data TxOutValue era where
 
   TxOutValue   :: MaryEraOnwards era -> Value -> TxOutValue era
 
-instance EraCast TxOutValue where
-  eraCast toEra v = case v of
-    TxOutAdaOnly _previousEra lovelace ->
-      caseByronToAllegraOrMaryEraOnwards
-        (\w -> Right $ TxOutAdaOnly w lovelace)
-        (\w -> Right $ TxOutValue w $ lovelaceToValue lovelace)
-        toEra
-    TxOutValue  (_ :: MaryEraOnwards fromEra) value  ->
-      caseByronToAllegraOrMaryEraOnwards
-        (const (Left $ EraCastError v (cardanoEra @fromEra) toEra))
-        (\w -> Right $ TxOutValue w value)
-        toEra
-
 deriving instance Eq   (TxOutValue era)
 deriving instance Show (TxOutValue era)
 deriving instance Generic (TxOutValue era)
@@ -1045,25 +1023,6 @@ data TxOutDatum ctx era where
 deriving instance Eq   (TxOutDatum ctx era)
 deriving instance Show (TxOutDatum ctx era)
 
-instance EraCast (TxOutDatum ctx)  where
-  eraCast toEra v = case v of
-    TxOutDatumNone -> pure TxOutDatumNone
-    TxOutDatumHash ws hash ->
-      caseByronToMaryOrAlonzoEraOnwards
-        (const (Left $ EraCastError v (alonzoEraOnwardsToCardanoEra ws) toEra))
-        (\wt -> Right $ TxOutDatumHash wt hash)
-        toEra
-    TxOutDatumInTx' ws scriptData hash ->
-      caseByronToMaryOrAlonzoEraOnwards
-        (const (Left $ EraCastError v (alonzoEraOnwardsToCardanoEra ws) toEra))
-        (\wt -> Right $ TxOutDatumInTx' wt scriptData hash)
-        toEra
-    TxOutDatumInline ws scriptData ->
-      caseByronToAlonzoOrBabbageEraOnwards
-        (const (Left $ EraCastError v (babbageEraOnwardsToCardanoEra ws) toEra))
-        (\wt -> Right $ TxOutDatumInline wt scriptData)
-        toEra
-
 pattern TxOutDatumInTx
   :: AlonzoEraOnwards era
   -> HashableScriptData

diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
@@ -934,10 +934,6 @@ module Cardano.Api (
     parseFilePath,
     writeSecrets,
 
-    -- ** Cast functions
-    EraCast (..),
-    EraCastError (..),
-
     -- * Convenience functions
 
     -- ** Transaction construction
@@ -1037,7 +1033,6 @@ import           Cardano.Api.Eon.ShelleyToAllegraEra
 import           Cardano.Api.Eon.ShelleyToAlonzoEra
 import           Cardano.Api.Eon.ShelleyToBabbageEra
 import           Cardano.Api.Eon.ShelleyToMaryEra
-import           Cardano.Api.EraCast
 import           Cardano.Api.Eras
 import           Cardano.Api.Eras.Case
 import           Cardano.Api.Eras.Constraints