rchain-token/src/withdrawTerm.js

Fungibles and non-fungibles tokens on the RChain blockchain

/* GENERATED CODE, only edit rholang/*.rho files*/
module.exports.withdrawTerm = (
  payload
) => {
  return `new basket,
  withdrawReturnCh,
  boxCh,
  stdout(\`rho:io:stdout\`),
  deployerId(\`rho:rchain:deployerId\`),
  registryLookup(\`rho:registry:lookup\`)
in {

  for (boxCh <<- @(*deployerId, "rchain-token-box", "${payload.masterRegistryUri}", "${payload.boxId}")) {
    boxCh!(("WITHDRAW", { "contractId": "${payload.contractId}", "quantity": ${payload.withdrawQuantity}, "toBoxId": "${payload.toBoxId}", "purseId": "${payload.purseId}", "merge": ${payload.merge} }, *withdrawReturnCh)) |
    for (@r <- withdrawReturnCh) {
      match r {
        String => {
          basket!({ "status": "failed", "message": r }) |
          stdout!(("failed", r))
        }
        _ => {
          // OP_WITHDRAW_COMPLETED_BEGIN
          basket!({ "status": "completed" }) |
          stdout!("completed, withdraw successful")
          // OP_WITHDRAW_COMPLETED_END
        }
      }
    }
  }
}
`;
};