From 600eefe4ef447b12e507ddfb7fe42a9d4fb20772 Mon Sep 17 00:00:00 2001 From: Sjoerd Visscher Date: Fri, 4 Mar 2022 16:15:10 +0100 Subject: [PATCH] Generate purs --- .../client/generated/Ledger/Index.purs | 8 + .../generated/Plutus/Contract/Effects.purs | 25 +- .../generated/Ledger/Index.purs | 8 + .../generated/Plutus/Contract/Effects.purs | 25 +- .../generated/Wallet/Emulator/Chain.purs | 19 +- .../Wallet/Emulator/LogMessages.purs | 28 +- .../generated/evaluation_response0.json | 1911 +++++++++++++++-- 7 files changed, 1808 insertions(+), 216 deletions(-) diff --git a/plutus-pab-executables/demo/pab-nami/client/generated/Ledger/Index.purs b/plutus-pab-executables/demo/pab-nami/client/generated/Ledger/Index.purs index f4d1472bd7..31b380e24d 100644 --- a/plutus-pab-executables/demo/pab-nami/client/generated/Ledger/Index.purs +++ b/plutus-pab-executables/demo/pab-nami/client/generated/Ledger/Index.purs @@ -158,6 +158,7 @@ data ValidationError | SignatureMissing PubKeyHash | MintWithoutScript String | TransactionFeeTooLow Value Value + | EmApplyTxFailure EmApplyTxFailure derive instance Eq ValidationError @@ -181,6 +182,7 @@ instance EncodeJson ValidationError where SignatureMissing a -> E.encodeTagged "SignatureMissing" a E.value MintWithoutScript a -> E.encodeTagged "MintWithoutScript" a E.value TransactionFeeTooLow a b -> E.encodeTagged "TransactionFeeTooLow" (a /\ b) (E.tuple (E.value >/\< E.value)) + EmApplyTxFailure a -> E.encodeTagged "EmApplyTxFailure" a E.value instance DecodeJson ValidationError where decodeJson = defer \_ -> D.decode @@ -201,6 +203,7 @@ instance DecodeJson ValidationError where , "SignatureMissing" /\ D.content (SignatureMissing <$> D.value) , "MintWithoutScript" /\ D.content (MintWithoutScript <$> D.value) , "TransactionFeeTooLow" /\ D.content (D.tuple $ TransactionFeeTooLow D.value D.value) + , "EmApplyTxFailure" /\ D.content (EmApplyTxFailure <$> D.value) ] derive instance Generic ValidationError _ @@ -282,6 +285,11 @@ _TransactionFeeTooLow = prism' (\{ a, b } -> (TransactionFeeTooLow a b)) case _ (TransactionFeeTooLow a b) -> Just { a, b } _ -> Nothing +_EmApplyTxFailure :: Prism' ValidationError EmApplyTxFailure +_EmApplyTxFailure = prism' EmApplyTxFailure case _ of + (EmApplyTxFailure a) -> Just a + _ -> Nothing + -------------------------------------------------------------------------------- data ValidationPhase diff --git a/plutus-pab-executables/demo/pab-nami/client/generated/Plutus/Contract/Effects.purs b/plutus-pab-executables/demo/pab-nami/client/generated/Plutus/Contract/Effects.purs index 3d59b57d66..47bfb85e81 100644 --- a/plutus-pab-executables/demo/pab-nami/client/generated/Plutus/Contract/Effects.purs +++ b/plutus-pab-executables/demo/pab-nami/client/generated/Plutus/Contract/Effects.purs @@ -20,6 +20,7 @@ import Data.Maybe (Maybe(..)) import Data.Newtype (class Newtype, unwrap) import Data.RawJson (RawJson) import Data.Show.Generic (genericShow) +import Data.These (These) import Data.Tuple.Nested ((/\)) import Ledger.Address (PaymentPubKeyHash) import Ledger.Constraints.OffChain (UnbalancedTx) @@ -83,7 +84,7 @@ _ActiveEndpoint = _Newtype data BalanceTxResponse = BalanceTxFailed WalletAPIError - | BalanceTxSuccess (Either RawJson Tx) + | BalanceTxSuccess (These Tx RawJson) derive instance Eq BalanceTxResponse @@ -93,14 +94,14 @@ instance Show BalanceTxResponse where instance EncodeJson BalanceTxResponse where encodeJson = defer \_ -> case _ of BalanceTxFailed a -> E.encodeTagged "BalanceTxFailed" a E.value - BalanceTxSuccess a -> E.encodeTagged "BalanceTxSuccess" a (E.either E.value E.value) + BalanceTxSuccess a -> E.encodeTagged "BalanceTxSuccess" a E.value instance DecodeJson BalanceTxResponse where decodeJson = defer \_ -> D.decode $ D.sumType "BalanceTxResponse" $ Map.fromFoldable [ "BalanceTxFailed" /\ D.content (BalanceTxFailed <$> D.value) - , "BalanceTxSuccess" /\ D.content (BalanceTxSuccess <$> (D.either D.value D.value)) + , "BalanceTxSuccess" /\ D.content (BalanceTxSuccess <$> D.value) ] derive instance Generic BalanceTxResponse _ @@ -112,7 +113,7 @@ _BalanceTxFailed = prism' BalanceTxFailed case _ of (BalanceTxFailed a) -> Just a _ -> Nothing -_BalanceTxSuccess :: Prism' BalanceTxResponse (Either RawJson Tx) +_BalanceTxSuccess :: Prism' BalanceTxResponse (These Tx RawJson) _BalanceTxSuccess = prism' BalanceTxSuccess case _ of (BalanceTxSuccess a) -> Just a _ -> Nothing @@ -384,7 +385,7 @@ data PABReq | OwnPaymentPublicKeyHashReq | ChainIndexQueryReq ChainIndexQuery | BalanceTxReq UnbalancedTx - | WriteBalancedTxReq (Either RawJson Tx) + | WriteBalancedTxReq (These Tx RawJson) | ExposeEndpointReq ActiveEndpoint | PosixTimeRangeToContainedSlotRangeReq (Interval POSIXTime) | YieldUnbalancedTxReq UnbalancedTx @@ -408,7 +409,7 @@ instance EncodeJson PABReq where OwnPaymentPublicKeyHashReq -> encodeJson { tag: "OwnPaymentPublicKeyHashReq", contents: jsonNull } ChainIndexQueryReq a -> E.encodeTagged "ChainIndexQueryReq" a E.value BalanceTxReq a -> E.encodeTagged "BalanceTxReq" a E.value - WriteBalancedTxReq a -> E.encodeTagged "WriteBalancedTxReq" a (E.either E.value E.value) + WriteBalancedTxReq a -> E.encodeTagged "WriteBalancedTxReq" a E.value ExposeEndpointReq a -> E.encodeTagged "ExposeEndpointReq" a E.value PosixTimeRangeToContainedSlotRangeReq a -> E.encodeTagged "PosixTimeRangeToContainedSlotRangeReq" a E.value YieldUnbalancedTxReq a -> E.encodeTagged "YieldUnbalancedTxReq" a E.value @@ -429,7 +430,7 @@ instance DecodeJson PABReq where , "OwnPaymentPublicKeyHashReq" /\ pure OwnPaymentPublicKeyHashReq , "ChainIndexQueryReq" /\ D.content (ChainIndexQueryReq <$> D.value) , "BalanceTxReq" /\ D.content (BalanceTxReq <$> D.value) - , "WriteBalancedTxReq" /\ D.content (WriteBalancedTxReq <$> (D.either D.value D.value)) + , "WriteBalancedTxReq" /\ D.content (WriteBalancedTxReq <$> D.value) , "ExposeEndpointReq" /\ D.content (ExposeEndpointReq <$> D.value) , "PosixTimeRangeToContainedSlotRangeReq" /\ D.content (PosixTimeRangeToContainedSlotRangeReq <$> D.value) , "YieldUnbalancedTxReq" /\ D.content (YieldUnbalancedTxReq <$> D.value) @@ -499,7 +500,7 @@ _BalanceTxReq = prism' BalanceTxReq case _ of (BalanceTxReq a) -> Just a _ -> Nothing -_WriteBalancedTxReq :: Prism' PABReq (Either RawJson Tx) +_WriteBalancedTxReq :: Prism' PABReq (These Tx RawJson) _WriteBalancedTxReq = prism' WriteBalancedTxReq case _ of (WriteBalancedTxReq a) -> Just a _ -> Nothing @@ -673,7 +674,7 @@ _YieldUnbalancedTxResp = prism' YieldUnbalancedTxResp case _ of data WriteBalancedTxResponse = WriteBalancedTxFailed WalletAPIError - | WriteBalancedTxSuccess (Either RawJson Tx) + | WriteBalancedTxSuccess (These Tx RawJson) derive instance Eq WriteBalancedTxResponse @@ -683,14 +684,14 @@ instance Show WriteBalancedTxResponse where instance EncodeJson WriteBalancedTxResponse where encodeJson = defer \_ -> case _ of WriteBalancedTxFailed a -> E.encodeTagged "WriteBalancedTxFailed" a E.value - WriteBalancedTxSuccess a -> E.encodeTagged "WriteBalancedTxSuccess" a (E.either E.value E.value) + WriteBalancedTxSuccess a -> E.encodeTagged "WriteBalancedTxSuccess" a E.value instance DecodeJson WriteBalancedTxResponse where decodeJson = defer \_ -> D.decode $ D.sumType "WriteBalancedTxResponse" $ Map.fromFoldable [ "WriteBalancedTxFailed" /\ D.content (WriteBalancedTxFailed <$> D.value) - , "WriteBalancedTxSuccess" /\ D.content (WriteBalancedTxSuccess <$> (D.either D.value D.value)) + , "WriteBalancedTxSuccess" /\ D.content (WriteBalancedTxSuccess <$> D.value) ] derive instance Generic WriteBalancedTxResponse _ @@ -702,7 +703,7 @@ _WriteBalancedTxFailed = prism' WriteBalancedTxFailed case _ of (WriteBalancedTxFailed a) -> Just a _ -> Nothing -_WriteBalancedTxSuccess :: Prism' WriteBalancedTxResponse (Either RawJson Tx) +_WriteBalancedTxSuccess :: Prism' WriteBalancedTxResponse (These Tx RawJson) _WriteBalancedTxSuccess = prism' WriteBalancedTxSuccess case _ of (WriteBalancedTxSuccess a) -> Just a _ -> Nothing diff --git a/plutus-playground-client/generated/Ledger/Index.purs b/plutus-playground-client/generated/Ledger/Index.purs index f4d1472bd7..31b380e24d 100644 --- a/plutus-playground-client/generated/Ledger/Index.purs +++ b/plutus-playground-client/generated/Ledger/Index.purs @@ -158,6 +158,7 @@ data ValidationError | SignatureMissing PubKeyHash | MintWithoutScript String | TransactionFeeTooLow Value Value + | EmApplyTxFailure EmApplyTxFailure derive instance Eq ValidationError @@ -181,6 +182,7 @@ instance EncodeJson ValidationError where SignatureMissing a -> E.encodeTagged "SignatureMissing" a E.value MintWithoutScript a -> E.encodeTagged "MintWithoutScript" a E.value TransactionFeeTooLow a b -> E.encodeTagged "TransactionFeeTooLow" (a /\ b) (E.tuple (E.value >/\< E.value)) + EmApplyTxFailure a -> E.encodeTagged "EmApplyTxFailure" a E.value instance DecodeJson ValidationError where decodeJson = defer \_ -> D.decode @@ -201,6 +203,7 @@ instance DecodeJson ValidationError where , "SignatureMissing" /\ D.content (SignatureMissing <$> D.value) , "MintWithoutScript" /\ D.content (MintWithoutScript <$> D.value) , "TransactionFeeTooLow" /\ D.content (D.tuple $ TransactionFeeTooLow D.value D.value) + , "EmApplyTxFailure" /\ D.content (EmApplyTxFailure <$> D.value) ] derive instance Generic ValidationError _ @@ -282,6 +285,11 @@ _TransactionFeeTooLow = prism' (\{ a, b } -> (TransactionFeeTooLow a b)) case _ (TransactionFeeTooLow a b) -> Just { a, b } _ -> Nothing +_EmApplyTxFailure :: Prism' ValidationError EmApplyTxFailure +_EmApplyTxFailure = prism' EmApplyTxFailure case _ of + (EmApplyTxFailure a) -> Just a + _ -> Nothing + -------------------------------------------------------------------------------- data ValidationPhase diff --git a/plutus-playground-client/generated/Plutus/Contract/Effects.purs b/plutus-playground-client/generated/Plutus/Contract/Effects.purs index 3d59b57d66..47bfb85e81 100644 --- a/plutus-playground-client/generated/Plutus/Contract/Effects.purs +++ b/plutus-playground-client/generated/Plutus/Contract/Effects.purs @@ -20,6 +20,7 @@ import Data.Maybe (Maybe(..)) import Data.Newtype (class Newtype, unwrap) import Data.RawJson (RawJson) import Data.Show.Generic (genericShow) +import Data.These (These) import Data.Tuple.Nested ((/\)) import Ledger.Address (PaymentPubKeyHash) import Ledger.Constraints.OffChain (UnbalancedTx) @@ -83,7 +84,7 @@ _ActiveEndpoint = _Newtype data BalanceTxResponse = BalanceTxFailed WalletAPIError - | BalanceTxSuccess (Either RawJson Tx) + | BalanceTxSuccess (These Tx RawJson) derive instance Eq BalanceTxResponse @@ -93,14 +94,14 @@ instance Show BalanceTxResponse where instance EncodeJson BalanceTxResponse where encodeJson = defer \_ -> case _ of BalanceTxFailed a -> E.encodeTagged "BalanceTxFailed" a E.value - BalanceTxSuccess a -> E.encodeTagged "BalanceTxSuccess" a (E.either E.value E.value) + BalanceTxSuccess a -> E.encodeTagged "BalanceTxSuccess" a E.value instance DecodeJson BalanceTxResponse where decodeJson = defer \_ -> D.decode $ D.sumType "BalanceTxResponse" $ Map.fromFoldable [ "BalanceTxFailed" /\ D.content (BalanceTxFailed <$> D.value) - , "BalanceTxSuccess" /\ D.content (BalanceTxSuccess <$> (D.either D.value D.value)) + , "BalanceTxSuccess" /\ D.content (BalanceTxSuccess <$> D.value) ] derive instance Generic BalanceTxResponse _ @@ -112,7 +113,7 @@ _BalanceTxFailed = prism' BalanceTxFailed case _ of (BalanceTxFailed a) -> Just a _ -> Nothing -_BalanceTxSuccess :: Prism' BalanceTxResponse (Either RawJson Tx) +_BalanceTxSuccess :: Prism' BalanceTxResponse (These Tx RawJson) _BalanceTxSuccess = prism' BalanceTxSuccess case _ of (BalanceTxSuccess a) -> Just a _ -> Nothing @@ -384,7 +385,7 @@ data PABReq | OwnPaymentPublicKeyHashReq | ChainIndexQueryReq ChainIndexQuery | BalanceTxReq UnbalancedTx - | WriteBalancedTxReq (Either RawJson Tx) + | WriteBalancedTxReq (These Tx RawJson) | ExposeEndpointReq ActiveEndpoint | PosixTimeRangeToContainedSlotRangeReq (Interval POSIXTime) | YieldUnbalancedTxReq UnbalancedTx @@ -408,7 +409,7 @@ instance EncodeJson PABReq where OwnPaymentPublicKeyHashReq -> encodeJson { tag: "OwnPaymentPublicKeyHashReq", contents: jsonNull } ChainIndexQueryReq a -> E.encodeTagged "ChainIndexQueryReq" a E.value BalanceTxReq a -> E.encodeTagged "BalanceTxReq" a E.value - WriteBalancedTxReq a -> E.encodeTagged "WriteBalancedTxReq" a (E.either E.value E.value) + WriteBalancedTxReq a -> E.encodeTagged "WriteBalancedTxReq" a E.value ExposeEndpointReq a -> E.encodeTagged "ExposeEndpointReq" a E.value PosixTimeRangeToContainedSlotRangeReq a -> E.encodeTagged "PosixTimeRangeToContainedSlotRangeReq" a E.value YieldUnbalancedTxReq a -> E.encodeTagged "YieldUnbalancedTxReq" a E.value @@ -429,7 +430,7 @@ instance DecodeJson PABReq where , "OwnPaymentPublicKeyHashReq" /\ pure OwnPaymentPublicKeyHashReq , "ChainIndexQueryReq" /\ D.content (ChainIndexQueryReq <$> D.value) , "BalanceTxReq" /\ D.content (BalanceTxReq <$> D.value) - , "WriteBalancedTxReq" /\ D.content (WriteBalancedTxReq <$> (D.either D.value D.value)) + , "WriteBalancedTxReq" /\ D.content (WriteBalancedTxReq <$> D.value) , "ExposeEndpointReq" /\ D.content (ExposeEndpointReq <$> D.value) , "PosixTimeRangeToContainedSlotRangeReq" /\ D.content (PosixTimeRangeToContainedSlotRangeReq <$> D.value) , "YieldUnbalancedTxReq" /\ D.content (YieldUnbalancedTxReq <$> D.value) @@ -499,7 +500,7 @@ _BalanceTxReq = prism' BalanceTxReq case _ of (BalanceTxReq a) -> Just a _ -> Nothing -_WriteBalancedTxReq :: Prism' PABReq (Either RawJson Tx) +_WriteBalancedTxReq :: Prism' PABReq (These Tx RawJson) _WriteBalancedTxReq = prism' WriteBalancedTxReq case _ of (WriteBalancedTxReq a) -> Just a _ -> Nothing @@ -673,7 +674,7 @@ _YieldUnbalancedTxResp = prism' YieldUnbalancedTxResp case _ of data WriteBalancedTxResponse = WriteBalancedTxFailed WalletAPIError - | WriteBalancedTxSuccess (Either RawJson Tx) + | WriteBalancedTxSuccess (These Tx RawJson) derive instance Eq WriteBalancedTxResponse @@ -683,14 +684,14 @@ instance Show WriteBalancedTxResponse where instance EncodeJson WriteBalancedTxResponse where encodeJson = defer \_ -> case _ of WriteBalancedTxFailed a -> E.encodeTagged "WriteBalancedTxFailed" a E.value - WriteBalancedTxSuccess a -> E.encodeTagged "WriteBalancedTxSuccess" a (E.either E.value E.value) + WriteBalancedTxSuccess a -> E.encodeTagged "WriteBalancedTxSuccess" a E.value instance DecodeJson WriteBalancedTxResponse where decodeJson = defer \_ -> D.decode $ D.sumType "WriteBalancedTxResponse" $ Map.fromFoldable [ "WriteBalancedTxFailed" /\ D.content (WriteBalancedTxFailed <$> D.value) - , "WriteBalancedTxSuccess" /\ D.content (WriteBalancedTxSuccess <$> (D.either D.value D.value)) + , "WriteBalancedTxSuccess" /\ D.content (WriteBalancedTxSuccess <$> D.value) ] derive instance Generic WriteBalancedTxResponse _ @@ -702,7 +703,7 @@ _WriteBalancedTxFailed = prism' WriteBalancedTxFailed case _ of (WriteBalancedTxFailed a) -> Just a _ -> Nothing -_WriteBalancedTxSuccess :: Prism' WriteBalancedTxResponse (Either RawJson Tx) +_WriteBalancedTxSuccess :: Prism' WriteBalancedTxResponse (These Tx RawJson) _WriteBalancedTxSuccess = prism' WriteBalancedTxSuccess case _ of (WriteBalancedTxSuccess a) -> Just a _ -> Nothing diff --git a/plutus-playground-client/generated/Wallet/Emulator/Chain.purs b/plutus-playground-client/generated/Wallet/Emulator/Chain.purs index f85c87a022..60bc3e45f9 100644 --- a/plutus-playground-client/generated/Wallet/Emulator/Chain.purs +++ b/plutus-playground-client/generated/Wallet/Emulator/Chain.purs @@ -15,20 +15,23 @@ import Data.Lens.Iso.Newtype (_Newtype) import Data.Lens.Record (prop) import Data.Maybe (Maybe(..)) import Data.Newtype (unwrap) +import Data.RawJson (RawJson) import Data.Show.Generic (genericShow) +import Data.These (These) import Data.Tuple.Nested ((/\)) import Ledger.Index (ScriptValidationEvent, ValidationError, ValidationPhase) import Plutus.V1.Ledger.Slot (Slot) import Plutus.V1.Ledger.Tx (Tx) import Plutus.V1.Ledger.TxId (TxId) +import Plutus.V1.Ledger.Value (Value) import Type.Proxy (Proxy(Proxy)) import Data.Argonaut.Decode.Aeson as D import Data.Argonaut.Encode.Aeson as E import Data.Map as Map data ChainEvent - = TxnValidate TxId Tx (Array ScriptValidationEvent) - | TxnValidationFail ValidationPhase TxId Tx ValidationError (Array ScriptValidationEvent) + = TxnValidate TxId (These Tx RawJson) (Array ScriptValidationEvent) + | TxnValidationFail ValidationPhase TxId (These Tx RawJson) ValidationError (Array ScriptValidationEvent) Value | SlotAdd Slot instance Show ChainEvent where @@ -37,7 +40,7 @@ instance Show ChainEvent where instance EncodeJson ChainEvent where encodeJson = defer \_ -> case _ of TxnValidate a b c -> E.encodeTagged "TxnValidate" (a /\ b /\ c) (E.tuple (E.value >/\< E.value >/\< E.value)) - TxnValidationFail a b c d e -> E.encodeTagged "TxnValidationFail" (a /\ b /\ c /\ d /\ e) (E.tuple (E.value >/\< E.value >/\< E.value >/\< E.value >/\< E.value)) + TxnValidationFail a b c d e f -> E.encodeTagged "TxnValidationFail" (a /\ b /\ c /\ d /\ e /\ f) (E.tuple (E.value >/\< E.value >/\< E.value >/\< E.value >/\< E.value >/\< E.value)) SlotAdd a -> E.encodeTagged "SlotAdd" a E.value instance DecodeJson ChainEvent where @@ -45,7 +48,7 @@ instance DecodeJson ChainEvent where $ D.sumType "ChainEvent" $ Map.fromFoldable [ "TxnValidate" /\ D.content (D.tuple $ TxnValidate D.value D.value D.value) - , "TxnValidationFail" /\ D.content (D.tuple $ TxnValidationFail D.value D.value D.value D.value D.value) + , "TxnValidationFail" /\ D.content (D.tuple $ TxnValidationFail D.value D.value D.value D.value D.value D.value) , "SlotAdd" /\ D.content (SlotAdd <$> D.value) ] @@ -53,14 +56,14 @@ derive instance Generic ChainEvent _ -------------------------------------------------------------------------------- -_TxnValidate :: Prism' ChainEvent { a :: TxId, b :: Tx, c :: Array ScriptValidationEvent } +_TxnValidate :: Prism' ChainEvent { a :: TxId, b :: These Tx RawJson, c :: Array ScriptValidationEvent } _TxnValidate = prism' (\{ a, b, c } -> (TxnValidate a b c)) case _ of (TxnValidate a b c) -> Just { a, b, c } _ -> Nothing -_TxnValidationFail :: Prism' ChainEvent { a :: ValidationPhase, b :: TxId, c :: Tx, d :: ValidationError, e :: Array ScriptValidationEvent } -_TxnValidationFail = prism' (\{ a, b, c, d, e } -> (TxnValidationFail a b c d e)) case _ of - (TxnValidationFail a b c d e) -> Just { a, b, c, d, e } +_TxnValidationFail :: Prism' ChainEvent { a :: ValidationPhase, b :: TxId, c :: These Tx RawJson, d :: ValidationError, e :: Array ScriptValidationEvent, f :: Value } +_TxnValidationFail = prism' (\{ a, b, c, d, e, f } -> (TxnValidationFail a b c d e f)) case _ of + (TxnValidationFail a b c d e f) -> Just { a, b, c, d, e, f } _ -> Nothing _SlotAdd :: Prism' ChainEvent Slot diff --git a/plutus-playground-client/generated/Wallet/Emulator/LogMessages.purs b/plutus-playground-client/generated/Wallet/Emulator/LogMessages.purs index ceb4861e32..28c5396813 100644 --- a/plutus-playground-client/generated/Wallet/Emulator/LogMessages.purs +++ b/plutus-playground-client/generated/Wallet/Emulator/LogMessages.purs @@ -15,14 +15,14 @@ import Data.Lens.Iso.Newtype (_Newtype) import Data.Lens.Record (prop) import Data.Maybe (Maybe(..)) import Data.Newtype (unwrap) +import Data.RawJson (RawJson) import Data.Show.Generic (genericShow) +import Data.These (These) import Data.Tuple.Nested ((/\)) import Ledger.Constraints.OffChain (UnbalancedTx) -import Ledger.Index (ScriptValidationEvent, ValidationError, ValidationPhase) import Plutus.V1.Ledger.Address (Address) import Plutus.V1.Ledger.Slot (Slot) import Plutus.V1.Ledger.Tx (Tx) -import Plutus.V1.Ledger.TxId (TxId) import Plutus.V1.Ledger.Value (Value) import Type.Proxy (Proxy(Proxy)) import Wallet.Emulator.Error (WalletAPIError) @@ -90,9 +90,9 @@ data TxBalanceMsg | AddingInputsFor Value | NoCollateralInputsAdded | AddingCollateralInputsFor Value - | FinishedBalancing Tx - | SubmittingTx Tx - | ValidationFailed ValidationPhase TxId Tx ValidationError (Array ScriptValidationEvent) + | FinishedBalancing (These Tx RawJson) + | SigningTx (These Tx RawJson) + | SubmittingTx (These Tx RawJson) instance Show TxBalanceMsg where show a = genericShow a @@ -107,8 +107,8 @@ instance EncodeJson TxBalanceMsg where NoCollateralInputsAdded -> encodeJson { tag: "NoCollateralInputsAdded", contents: jsonNull } AddingCollateralInputsFor a -> E.encodeTagged "AddingCollateralInputsFor" a E.value FinishedBalancing a -> E.encodeTagged "FinishedBalancing" a E.value + SigningTx a -> E.encodeTagged "SigningTx" a E.value SubmittingTx a -> E.encodeTagged "SubmittingTx" a E.value - ValidationFailed a b c d e -> E.encodeTagged "ValidationFailed" (a /\ b /\ c /\ d /\ e) (E.tuple (E.value >/\< E.value >/\< E.value >/\< E.value >/\< E.value)) instance DecodeJson TxBalanceMsg where decodeJson = defer \_ -> D.decode @@ -122,8 +122,8 @@ instance DecodeJson TxBalanceMsg where , "NoCollateralInputsAdded" /\ pure NoCollateralInputsAdded , "AddingCollateralInputsFor" /\ D.content (AddingCollateralInputsFor <$> D.value) , "FinishedBalancing" /\ D.content (FinishedBalancing <$> D.value) + , "SigningTx" /\ D.content (SigningTx <$> D.value) , "SubmittingTx" /\ D.content (SubmittingTx <$> D.value) - , "ValidationFailed" /\ D.content (D.tuple $ ValidationFailed D.value D.value D.value D.value D.value) ] derive instance Generic TxBalanceMsg _ @@ -165,17 +165,17 @@ _AddingCollateralInputsFor = prism' AddingCollateralInputsFor case _ of (AddingCollateralInputsFor a) -> Just a _ -> Nothing -_FinishedBalancing :: Prism' TxBalanceMsg Tx +_FinishedBalancing :: Prism' TxBalanceMsg (These Tx RawJson) _FinishedBalancing = prism' FinishedBalancing case _ of (FinishedBalancing a) -> Just a _ -> Nothing -_SubmittingTx :: Prism' TxBalanceMsg Tx -_SubmittingTx = prism' SubmittingTx case _ of - (SubmittingTx a) -> Just a +_SigningTx :: Prism' TxBalanceMsg (These Tx RawJson) +_SigningTx = prism' SigningTx case _ of + (SigningTx a) -> Just a _ -> Nothing -_ValidationFailed :: Prism' TxBalanceMsg { a :: ValidationPhase, b :: TxId, c :: Tx, d :: ValidationError, e :: Array ScriptValidationEvent } -_ValidationFailed = prism' (\{ a, b, c, d, e } -> (ValidationFailed a b c d e)) case _ of - (ValidationFailed a b c d e) -> Just { a, b, c, d, e } +_SubmittingTx :: Prism' TxBalanceMsg (These Tx RawJson) +_SubmittingTx = prism' SubmittingTx case _ of + (SubmittingTx a) -> Just a _ -> Nothing diff --git a/plutus-playground-client/generated/evaluation_response0.json b/plutus-playground-client/generated/evaluation_response0.json index c228896e0a..23cd31b104 100644 --- a/plutus-playground-client/generated/evaluation_response0.json +++ b/plutus-playground-client/generated/evaluation_response0.json @@ -5,7 +5,7 @@ [ { "txId": { - "getTxId": "7423953d56c71e969089b20764496c924ee6b20afff93637bf34b1140a33d0ad" + "getTxId": "180830d1af8ea875019c605d944b01c4c8dc09312086933a3fbc5e5226253bde" }, "sequenceId": { "slotIndex": 0, @@ -49,7 +49,7 @@ { "unTokenName": "" }, - 100 + 10 ] ] ] @@ -78,7 +78,7 @@ { "unTokenName": "" }, - 100 + 10 ] ] ] @@ -89,199 +89,1709 @@ "addressStakingCredential": null, "addressCredential": { "contents": { - "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" }, "tag": "PubKeyCredential" } } - } - ], - "txMintScripts": [], - "txRedeemers": [], - "txCollateral": [], - "txValidRange": { - "ivFrom": [ - { - "tag": "NegInf" + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] }, - true - ], - "ivTo": [ - { - "tag": "PosInf" + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] }, - true - ] - } - }, - "balances": [], - "dereferencedInputs": [] - } - ] - ], - "walletKeys": [ - [ - { - "unPaymentPubKeyHash": { - "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" - } - }, - { - "getWallet": 1 - } - ], - [ - { - "unPaymentPubKeyHash": { - "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" - } - }, - { - "getWallet": 2 - } - ] - ], - "emulatorLog": [ - { - "_eteEmulatorTime": { - "getSlot": 0 - }, - "_eteEvent": { - "contents": { - "contents": [ - "Phase2", + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, { - "getTxId": "7423953d56c71e969089b20764496c924ee6b20afff93637bf34b1140a33d0ad" + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } }, { - "txInputs": [], - "txFee": { - "getValue": [] + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] }, - "txSignatures": [], - "txMint": { + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { "getValue": [ [ { - "unCurrencySymbol": "" + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + } + ], + "txMintScripts": [], + "txRedeemers": [], + "txCollateral": [], + "txValidRange": { + "ivFrom": [ + { + "tag": "NegInf" + }, + true + ], + "ivTo": [ + { + "tag": "PosInf" + }, + true + ] + } + }, + "balances": [], + "dereferencedInputs": [] + } + ] + ], + "walletKeys": [ + [ + { + "unPaymentPubKeyHash": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + } + }, + { + "getWallet": 1 + } + ], + [ + { + "unPaymentPubKeyHash": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + } + }, + { + "getWallet": 2 + } + ] + ], + "emulatorLog": [ + { + "_eteEmulatorTime": { + "getSlot": 0 + }, + "_eteEvent": { + "contents": { + "contents": [ + "Phase2", + { + "getTxId": "180830d1af8ea875019c605d944b01c4c8dc09312086933a3fbc5e5226253bde" + }, + { + "This": { + "txInputs": [], + "txFee": { + "getValue": [] + }, + "txSignatures": [], + "txMint": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 200 + ] + ] + ] + ] + }, + "txData": [], + "txOutputs": [ + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + } + ], + "txMintScripts": [], + "txRedeemers": [], + "txCollateral": [], + "txValidRange": { + "ivFrom": [ + { + "tag": "NegInf" + }, + true + ], + "ivTo": [ + { + "tag": "PosInf" + }, + true + ] + } + } + }, + { + "contents": [ + { + "txInputs": [], + "txFee": { + "getValue": [] + }, + "txSignatures": [], + "txMint": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 200 + ] + ] + ] + ] + }, + "txData": [], + "txOutputs": [ + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } }, - [ - [ - { - "unTokenName": "" - }, - 200 - ] - ] - ] - ] - }, - "txData": [], - "txOutputs": [ - { - "txOutValue": { - "getValue": [ - [ - { - "unCurrencySymbol": "" - }, - [ + { + "txOutValue": { + "getValue": [ [ { - "unTokenName": "" + "unCurrencySymbol": "" }, - 100 + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] ] ] - ] - ] - }, - "txOutDatumHash": null, - "txOutAddress": { - "addressStakingCredential": null, - "addressCredential": { - "contents": { - "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" }, - "tag": "PubKeyCredential" - } - } - }, - { - "txOutValue": { - "getValue": [ - [ - { - "unCurrencySymbol": "" - }, - [ + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ [ { - "unTokenName": "" + "unCurrencySymbol": "" }, - 100 + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] ] ] - ] - ] - }, - "txOutDatumHash": null, - "txOutAddress": { - "addressStakingCredential": null, - "addressCredential": { - "contents": { - "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" }, - "tag": "PubKeyCredential" - } - } - } - ], - "txMintScripts": [], - "txRedeemers": [], - "txCollateral": [], - "txValidRange": { - "ivFrom": [ - { - "tag": "NegInf" - }, - true - ], - "ivTo": [ - { - "tag": "PosInf" - }, - true - ] - } - }, - { - "contents": [ - { - "txInputs": [], - "txFee": { - "getValue": [] - }, - "txSignatures": [], - "txMint": { - "getValue": [ - [ - { - "unCurrencySymbol": "" - }, - [ + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ [ { - "unTokenName": "" + "unCurrencySymbol": "" }, - 200 + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] ] ] - ] - ] - }, - "txData": [], - "txOutputs": [ + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, { "txOutValue": { "getValue": [ @@ -294,7 +1804,7 @@ { "unTokenName": "" }, - 100 + 10 ] ] ] @@ -305,7 +1815,65 @@ "addressStakingCredential": null, "addressCredential": { "contents": { - "getPubKeyHash": "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7" + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" + }, + "tag": "PubKeyCredential" + } + } + }, + { + "txOutValue": { + "getValue": [ + [ + { + "unCurrencySymbol": "" + }, + [ + [ + { + "unTokenName": "" + }, + 10 + ] + ] + ] + ] + }, + "txOutDatumHash": null, + "txOutAddress": { + "addressStakingCredential": null, + "addressCredential": { + "contents": { + "getPubKeyHash": "a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2" }, "tag": "PubKeyCredential" } @@ -323,7 +1891,7 @@ { "unTokenName": "" }, - 100 + 10 ] ] ] @@ -371,7 +1939,7 @@ { "unTokenName": "" }, - 100 + 10 ] ] ] @@ -391,7 +1959,10 @@ ], "tag": "ValueContainsLessThanMinAda" }, - [] + [], + { + "getValue": [] + } ], "tag": "TxnValidationFail" },