Skip to content
This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Commit

Permalink
Remove fromCardanoTxInWitness from CardanoAPI
Browse files Browse the repository at this point in the history
  • Loading branch information
Evgenii Akentev committed Jun 23, 2022
1 parent 004255d commit 68f904b
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 46 deletions.
2 changes: 1 addition & 1 deletion plutus-chain-index/app/Indexer.hs
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,7 @@ closeToGoguen =
(fromJust $ parseHash "3e6f6450f85962d651654ee66091980b2332166f5505fd10b97b0520c9efac90")

parseHash :: String -> Maybe (Hash BlockHeader)
parseHash hash = either (error "failed to parse") Just $
parseHash hash = either (error "Failed to parse Hash BlockHeader") Just $
deserialiseFromRawBytesHex (proxyToAsType Proxy) (encodeUtf8 $ pack hash)

getDatums :: BlockInMode CardanoMode -> [(SlotNo, (DatumHash, Datum))]
Expand Down
44 changes: 0 additions & 44 deletions plutus-ledger/src/Ledger/Tx/CardanoAPI.hs
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@ module Ledger.Tx.CardanoAPI(
, fromCardanoTxId
, fromCardanoTxIn
, fromCardanoTxInsCollateral
, fromCardanoTxInWitness
, fromCardanoTxOut
, fromCardanoTxOutDatum
, fromCardanoTxOutDatumHash
Expand Down Expand Up @@ -113,7 +112,6 @@ import Plutus.V1.Ledger.Credential qualified as Credential
import Plutus.V1.Ledger.Tx qualified as PV1
import Plutus.V1.Ledger.Value qualified as Value
import Plutus.V2.Ledger.Api qualified as PV2
import Plutus.V2.Ledger.Tx qualified as PV2
import PlutusTx.Prelude qualified as PlutusTx
import Prettyprinter (Pretty (pretty), colon, viaShow, (<+>))

Expand Down Expand Up @@ -420,43 +418,6 @@ fromCardanoTxInsCollateral (C.TxInsCollateral _ txIns) = Set.fromList $ fmap (PV
toCardanoTxInsCollateral :: Set.Set PV1.TxIn -> Either ToCardanoError (C.TxInsCollateral C.AlonzoEra)
toCardanoTxInsCollateral = fmap (C.TxInsCollateral C.CollateralInAlonzoEra) . traverse (toCardanoTxIn . PV1.txInRef) . Set.toList

fromCardanoTxInWitness :: C.Witness C.WitCtxTxIn era -> Either FromCardanoError PV1.TxInType
fromCardanoTxInWitness (C.KeyWitness C.KeyWitnessForSpending) = pure PV1.ConsumePublicKeyAddress
fromCardanoTxInWitness
(C.ScriptWitness _
(C.PlutusScriptWitness C.PlutusScriptV1InAlonzo C.PlutusScriptV1
script
(C.ScriptDatumForTxIn datum)
redeemer
_))
= pure $ PV1.ConsumeScriptAddress
(P.Validator $ fromCardanoPlutusScriptOrReferenceInput script)
(P.Redeemer $ fromCardanoScriptData redeemer)
(P.Datum $ fromCardanoScriptData datum)
fromCardanoTxInWitness
(C.ScriptWitness _
(C.PlutusScriptWitness C.PlutusScriptV1InBabbage C.PlutusScriptV1
script
(C.ScriptDatumForTxIn datum)
redeemer
_))
= pure $ PV1.ConsumeScriptAddress
(P.Validator $ fromCardanoPlutusScriptOrReferenceInput script)
(P.Redeemer $ fromCardanoScriptData redeemer)
(P.Datum $ fromCardanoScriptData datum)
fromCardanoTxInWitness (C.ScriptWitness _ C.SimpleScriptWitness{}) = pure PV2.ConsumeSimpleScriptAddress
fromCardanoTxInWitness
(C.ScriptWitness _
(C.PlutusScriptWitness C.PlutusScriptV2InBabbage C.PlutusScriptV2
script
(C.ScriptDatumForTxIn datum)
redeemer
_))
= pure $ PV2.ConsumeScriptAddress
(PV2.Validator $ fromCardanoPlutusScriptOrReferenceInput script)
(PV2.Redeemer $ fromCardanoScriptData redeemer)
(PV2.Datum $ fromCardanoScriptData datum)

toCardanoTxInWitness :: PV1.TxInType -> Either ToCardanoError (C.Witness C.WitCtxTxIn C.AlonzoEra)
toCardanoTxInWitness PV1.ConsumePublicKeyAddress = pure (C.KeyWitness C.KeyWitnessForSpending)
toCardanoTxInWitness PV1.ConsumeSimpleScriptAddress = Left SimpleScriptsNotSupportedToCardano -- TODO: Better support for simple scripts
Expand Down Expand Up @@ -754,11 +715,6 @@ toCardanoScriptInEra script = C.ScriptInEra C.PlutusScriptV1InAlonzo . C.PlutusS
fromCardanoPlutusScript :: C.HasTypeProxy lang => C.PlutusScript lang -> P.Script
fromCardanoPlutusScript = Codec.deserialise . BSL.fromStrict . C.serialiseToRawBytes

fromCardanoPlutusScriptOrReferenceInput :: C.HasTypeProxy lang => C.PlutusScriptOrReferenceInput lang -> P.Script
fromCardanoPlutusScriptOrReferenceInput = \case
C.PScript plutusScript -> fromCardanoPlutusScript plutusScript
C.PReferenceScript _ -> error ("TODO: implement PReferenceScript")

toCardanoPlutusScript :: P.Script -> Either ToCardanoError (C.PlutusScript C.PlutusScriptV1)
toCardanoPlutusScript =
tag "toCardanoPlutusScript"
Expand Down
2 changes: 1 addition & 1 deletion plutus-pab-executables/test/full/Plutus/PAB/CoreSpec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ executionTests =
, currencyTest
, testCase "wait for update" waitForUpdateTest
, testCase "stop contract instance" stopContractInstanceTest
, testCase "can wait for tx status change and not fail" waitForTxStatusChangeTest
, testCase "can wait for tx status change" waitForTxStatusChangeTest
, testCase "can wait for tx output status change" waitForTxOutStatusChangeTest
, testCase "can subscribe to slot updates" slotChangeTest
, testCase "can query wallet funds" valueAtTest
Expand Down

0 comments on commit 68f904b

Please sign in to comment.