Add Cardano.Read.Ledger.Tx.Outputs

lib/read/lib/Cardano/Read/Ledger/Tx/Output.hs

@@ -0,0 +1,58 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE NoMonomorphismRestriction #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE UndecidableInstances #-}
+
+-- |
+-- Copyright: © 2020-2022 IOHK
+-- License: Apache-2.0
+--
+-- Raw era-dependent tx output
+--
+
+module Cardano.Read.Ledger.Tx.Output
+    ( OutputType
+    , Output (..)
+    )
+    where
+
+import Prelude
+
+import Cardano.Ledger.Alonzo.TxOut
+    ( AlonzoTxOut
+    )
+import Cardano.Ledger.Babbage.TxOut
+    ( BabbageTxOut
+    )
+import Cardano.Ledger.Shelley.TxOut
+    ( ShelleyTxOut
+    )
+import Cardano.Wallet.Read.Eras
+    ( Allegra
+    , Alonzo
+    , Babbage
+    , Byron
+    , Conway
+    , Mary
+    , Shelley
+    )
+
+import qualified Cardano.Chain.UTxO as BY
+
+type family OutputType era where
+    OutputsType Byron = BY.TxOut
+    OutputsType Shelley = ShelleyTxOut Shelley
+    OutputsType Allegra = ShelleyTxOut Allegra
+    OutputsType Mary = ShelleyTxOut Mary
+    OutputsType Alonzo = AlonzoTxOut Alonzo
+    OutputsType Babbage = BabbageTxOut Babbage
+    OutputsType Conway = BabbageTxOut Conway
+
+newtype Output era = Output (OutputType era)
+
+deriving instance Show (OutputType era) => Show (Output era)
+deriving instance Eq (OutputType era) => Eq (Output era)