Plutus Playground Smart Contract

Playground.hs

-- Contract endpoints that generate different kinds of errors for the log:
-- logAMessage produces a log message from a wallet
-- submitInvalidTxn submits an invalid txn which should result in a
-- "Validation failed" message throwWalletAPIError throws an error from
-- a wallet (client)
import           Language.PlutusTx.Prelude

import qualified Data.Map                  as Map
import qualified Data.Set                  as Set
import           Data.Text                 (Text)

import           Ledger
import qualified Ledger.Ada                as Ada
import           Ledger.Validation
import           Playground.Contract
import           Wallet

logAMessage :: MonadWallet m => m ()
logAMessage = logMsg "wallet log"

submitInvalidTxn :: MonadWallet m => m ()
submitInvalidTxn = do
    logMsg "Preparing to submit an invalid transaction"
    let tx = Tx
            { txInputs = Set.empty
            , txOutputs = []
            , txForge = Ada.adaValueOf 2
            , txFee = 0
            , txValidRange = defaultSlotRange
            , txSignatures = Map.empty
            }
    submitTxn tx

throwWalletAPIError :: MonadWallet m => Text -> m ()
throwWalletAPIError = throwOtherError

$(mkFunctions ['logAMessage, 'submitInvalidTxn, 'throwWalletAPIError])

Simulation.json

[0,[{"wallets":[{"simulatorWalletWallet":{"getWallet":1},"simulatorWalletBalance":{"getValue":[[{"unCurrencySymbol":""},[[{"unTokenName":""},102]]]]}},{"simulatorWalletWallet":{"getWallet":2},"simulatorWalletBalance":{"getValue":[[{"unCurrencySymbol":""},[[{"unTokenName":""},90]]]]}}],"signatures":[{"functionName":"logAMessage","argumentSchema":[]},{"functionName":"submitInvalidTxn","argumentSchema":[]},{"functionName":"throwWalletAPIError","argumentSchema":[{"tag":"SimpleStringSchema"}]},{"functionName":"payToWallet_","argumentSchema":[{"contents":[["getValue",{"contents":[["unMap",{"contents":[{"tag":"SimpleHexSchema"},{"contents":[["unMap",{"contents":[{"tag":"SimpleStringSchema"},{"tag":"SimpleIntSchema"}],"tag":"SimpleArraySchema"}]],"tag":"SimpleObjectSchema"}],"tag":"SimpleArraySchema"}]],"tag":"SimpleObjectSchema"}]],"tag":"ValueSchema"},{"contents":[["getWallet",{"tag":"SimpleIntSchema"}]],"tag":"SimpleObjectSchema"}]}],"currencies":[{"knownTokens":[{"unTokenName":""}],"hash":"","friendlyName":"Ada"}],"actions":[{"simulatorWallet":{"simulatorWalletWallet":{"getWallet":1},"simulatorWalletBalance":{"getValue":[[{"unCurrencySymbol":""},[[{"unTokenName":""},102]]]]}},"functionSchema":{"functionName":"logAMessage","argumentSchema":[]},"tag":"Action"},{"simulatorWallet":{"simulatorWalletWallet":{"getWallet":1},"simulatorWalletBalance":{"getValue":[[{"unCurrencySymbol":""},[[{"unTokenName":""},102]]]]}},"functionSchema":{"functionName":"logAMessage","argumentSchema":[]},"tag":"Action"},{"blocks":12,"tag":"Wait"},{"blocks":10,"tag":"Wait"}]}]]