Implement misc instances

Author: Jimbo4350

cardano-api/src/Cardano/Api/Experimental/Plutus/Internal/ScriptWitness.hs

@@ -92,7 +92,7 @@ data PlutusScriptPurpose
   | -- | Witnesses a vote
     VotingScript
 
-data NoScriptDatum = NoScriptDatumAllowed deriving Show
+data NoScriptDatum = NoScriptDatumAllowed deriving (Eq, Show)
 
 -- | The PlutusScriptDatum type family is used to determine if a script datum is allowed
 -- for a given plutus script purpose and version. This change was proposed in CIP-69
@@ -130,6 +130,55 @@ data PlutusScriptDatum (lang :: L.Language) (purpose :: PlutusScriptPurpose) whe
   NoScriptDatum
     :: PlutusScriptDatum lang purpose
 
+instance Eq (PlutusScriptDatum L.PlutusV1 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum L.PlutusV2 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum L.PlutusV3 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum L.PlutusV4 SpendingScript) where
+  (==) (SpendingScriptDatum d1) (SpendingScriptDatum d2) = d1 == d2
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang MintingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang WithdrawingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang CertifyingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang ProposingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
+instance Eq (PlutusScriptDatum lang VotingScript) where
+  (==) InlineDatum InlineDatum = True
+  (==) NoScriptDatum NoScriptDatum = True
+  (==) _ _ = False
+
 instance Show (PlutusScriptDatum lang purpose) where
   show = \case
     SpendingScriptDatum _d -> "Datum"

cardano-api/src/Cardano/Api/Experimental/Plutus/Internal/Shim/LegacyScripts.hs

@@ -192,7 +192,10 @@ legacyWitnessToScriptRequirements
   -> Either CBOR.DecoderError (TxScriptWitnessRequirements (ShelleyLedgerEra era))
 legacyWitnessToScriptRequirements eon wits = do
   r <- legacyWitnessConversion eon wits
-  return $ getTxScriptWitnessesRequirements eon r
+  return $
+    alonzoEraOnwardsConstraints eon $
+      obtainMonoidConstraint eon $
+        getTxScriptWitnessesRequirements r
 
 -- Misc helpers
 

cardano-api/src/Cardano/Api/Internal/Orphans/Misc.hs

@@ -28,6 +28,7 @@ import Cardano.Ledger.Binary qualified as CBOR
 import Cardano.Ledger.Coin qualified as L
 import Cardano.Ledger.Conway.PParams qualified as Ledger
 import Cardano.Ledger.HKD (NoUpdate (..))
+import Cardano.Ledger.Plutus.Language qualified as L
 import Cardano.Ledger.Shelley.PParams qualified as Ledger
 import Ouroboros.Consensus.Cardano.Block (EraMismatch (..))
 import PlutusLedgerApi.Common qualified as P
@@ -39,6 +40,7 @@ import Data.ListMap qualified as ListMap
 import Data.Maybe.Strict (StrictMaybe (..))
 import Data.Monoid
 import Data.Text.Encoding.Error qualified as T
+import Data.Type.Equality
 import Data.Typeable
 import GHC.Exts (IsList (..))
 import Network.Mux qualified as Mux
@@ -295,3 +297,11 @@ instance Error P.ParseError where
   prettyError = pretty . show
 
 deriving via ShowOf TypeRep instance Pretty TypeRep
+
+instance TestEquality L.SLanguage where
+  testEquality s1 s2 = case (s1, s2) of
+    (L.SPlutusV1, L.SPlutusV1) -> Just Refl
+    (L.SPlutusV2, L.SPlutusV2) -> Just Refl
+    (L.SPlutusV3, L.SPlutusV3) -> Just Refl
+    (L.SPlutusV4, L.SPlutusV4) -> Just Refl
+    _ -> Nothing

cardano-api/src/Cardano/Api/Ledger/Internal/Reexport.hs

@@ -56,6 +56,7 @@ module Cardano.Api.Ledger.Internal.Reexport
   , PoolCert (..)
   , PParams (..)
   , PParamsUpdate
+  , SlotNo (..)
   , TxId (..)
   , TxIn (..)
   , Value
@@ -374,4 +375,4 @@ import Cardano.Ledger.Shelley.TxCert
 import Cardano.Ledger.State (PoolMetadata (..), PoolParams (..), StakePoolRelay (..))
 import Cardano.Ledger.TxIn (TxId (..), TxIn (..))
 import Cardano.Protocol.Crypto (Crypto, StandardCrypto)
-import Cardano.Slotting.Slot (EpochNo (..))
+import Cardano.Slotting.Slot (EpochNo (..), SlotNo (..))

cardano-api/src/Cardano/Api/Tx/Internal/Body.hs

@@ -207,6 +207,7 @@ module Cardano.Api.Tx.Internal.Body
   , toShelleyTxIn
   , toShelleyTxOut
   , toShelleyTxOutAny
+  , toShelleyWithdrawal
   , fromShelleyTxId
   , fromShelleyTxIn
   , fromShelleyTxOut

cardano-api/src/Cardano/Api/Tx/Internal/Output.hs

@@ -31,6 +31,7 @@ module Cardano.Api.Tx.Internal.Output
   , toShelleyTxOutAny
   , convTxOuts
   , fromLedgerTxOuts
+  , toBabbageTxOutDatum
   , toByronTxOut
   --  ** An Output Value
   , TxOutValue (..)