@meshsdk/contract 1.6.0-alpha.21 → 1.6.1

package/src/escrow/offchain.ts

@@ -1,254 +0,0 @@
-import {
-  ConStr0,
-  conStr0,
-  ConStr1,
-  conStr1,
-  mConStr1,
-  mConStr2,
-  parsePlutusValueToAssets,
-  PubKeyAddress,
-  pubKeyAddress,
-  Value,
-  value,
-} from "@meshsdk/common";
-import {
-  Asset,
-  deserializeAddress,
-  deserializeDatum,
-  mergeAssets,
-  serializeAddressObj,
-  serializePlutusScript,
-  UTxO,
-} from "@meshsdk/core";
-import { applyParamsToScript } from "@meshsdk/core-csl";
-
-import { MeshTxInitiator, MeshTxInitiatorInput } from "../common";
-import blueprint from "./aiken-workspace/plutus.json";
-
-export const MeshEscrowBlueprint = blueprint;
-
-export type InitiationDatum = ConStr0<[PubKeyAddress, Value]>;
-export const initiateEscrowDatum = (
-  walletAddress: string,
-  amount: Asset[],
-): InitiationDatum => {
-  const { pubKeyHash, stakeCredentialHash } = deserializeAddress(walletAddress);
-  return conStr0([
-    pubKeyAddress(pubKeyHash, stakeCredentialHash),
-    value(amount),
-  ]);
-};
-
-export type ActiveEscrowDatum = ConStr1<
-  [PubKeyAddress, Value, PubKeyAddress, Value]
->;
-export const activeEscrowDatum = (
-  initiationDatum: InitiationDatum,
-  walletAddress: string,
-  amount: Asset[],
-): ActiveEscrowDatum => {
-  const { pubKeyHash, stakeCredentialHash } = deserializeAddress(walletAddress);
-  const [initiator, initiatorAmount] = initiationDatum.fields;
-  return conStr1([
-    initiator,
-    initiatorAmount,
-    pubKeyAddress(pubKeyHash, stakeCredentialHash),
-    value(amount),
-  ]);
-};
-
-export type RecipientDepositRedeemer = ConStr0<[PubKeyAddress, Value]>;
-export const recipientDepositRedeemer = (
-  recipient: string,
-  depositAmount: Asset[],
-) => initiateEscrowDatum(recipient, depositAmount);
-
-export class MeshEscrowContract extends MeshTxInitiator {
-  scriptCbor = applyParamsToScript(blueprint.validators[0]!.compiledCode, []);
-
-  constructor(inputs: MeshTxInitiatorInput) {
-    super(inputs);
-  }
-
-  initiateEscrow = async (escrowAmount: Asset[]): Promise<string> => {
-    const { utxos, walletAddress } = await this.getWalletInfoForTx();
-    const { address: scriptAddr } = serializePlutusScript(
-      { code: this.scriptCbor, version: "V2" },
-      undefined,
-      this.networkId,
-    );
-
-    await this.mesh
-      .txOut(scriptAddr, escrowAmount)
-      .txOutInlineDatumValue(
-        initiateEscrowDatum(walletAddress, escrowAmount),
-        "JSON",
-      )
-      .changeAddress(walletAddress)
-      .selectUtxosFrom(utxos)
-      .complete();
-    return this.mesh.txHex;
-  };
-
-  cancelEscrow = async (escrowUtxo: UTxO): Promise<string> => {
-    const { utxos, walletAddress, collateral } =
-      await this.getWalletInfoForTx();
-    const { address: scriptAddr } = serializePlutusScript(
-      { code: this.scriptCbor, version: "V2" },
-      undefined,
-      this.networkId,
-    );
-
-    const inputDatum = deserializeDatum<InitiationDatum | ActiveEscrowDatum>(
-      escrowUtxo.output.plutusData!,
-    );
-
-    if (inputDatum.constructor === 1) {
-      const [
-        initiatorAddressObj,
-        initiatorAmount,
-        recipientAddressObj,
-        recipientAmount,
-      ] = inputDatum.fields;
-
-      const initiatorAddress = serializeAddressObj(initiatorAddressObj);
-      const recipientAddress = serializeAddressObj(recipientAddressObj!);
-      const initiatorToReceive = parsePlutusValueToAssets(initiatorAmount);
-      const recipientToReceive = parsePlutusValueToAssets(recipientAmount!);
-      this.mesh
-        .txOut(initiatorAddress, initiatorToReceive)
-        .txOut(recipientAddress, recipientToReceive);
-    }
-
-    await this.mesh
-      .spendingPlutusScriptV2()
-      .txIn(
-        escrowUtxo.input.txHash,
-        escrowUtxo.input.outputIndex,
-        escrowUtxo.output.amount,
-        scriptAddr,
-      )
-      .spendingReferenceTxInInlineDatumPresent()
-      .spendingReferenceTxInRedeemerValue(mConStr1([]))
-      .txInScript(this.scriptCbor)
-      .requiredSignerHash(deserializeAddress(walletAddress).pubKeyHash)
-      .changeAddress(walletAddress)
-      .txInCollateral(
-        collateral.input.txHash,
-        collateral.input.outputIndex,
-        collateral.output.amount,
-        collateral.output.address,
-      )
-      .selectUtxosFrom(utxos)
-      .complete();
-    return this.mesh.txHex;
-  };
-
-  recipientDeposit = async (
-    escrowUtxo: UTxO,
-    depositAmount: Asset[],
-  ): Promise<string> => {
-    const { utxos, walletAddress, collateral } =
-      await this.getWalletInfoForTx();
-    const { address: scriptAddr } = serializePlutusScript(
-      { code: this.scriptCbor, version: "V2" },
-      undefined,
-      this.networkId,
-    );
-    const inputDatum = deserializeDatum<InitiationDatum>(
-      escrowUtxo.output.plutusData!,
-    );
-    const outputDatum = activeEscrowDatum(
-      inputDatum,
-      walletAddress,
-      depositAmount,
-    );
-
-    const inputAssets = parsePlutusValueToAssets(inputDatum.fields[1]);
-    const escrowAmount = mergeAssets([...depositAmount, ...inputAssets]);
-
-    await this.mesh
-      .spendingPlutusScriptV2()
-      .txIn(
-        escrowUtxo.input.txHash,
-        escrowUtxo.input.outputIndex,
-        escrowUtxo.output.amount,
-        scriptAddr,
-      )
-      .spendingReferenceTxInInlineDatumPresent()
-      .txInRedeemerValue(
-        recipientDepositRedeemer(walletAddress, depositAmount),
-        "JSON",
-        {
-          mem: 7_000_000,
-          steps: 3_000_000_000,
-        },
-      )
-      .txInScript(this.scriptCbor)
-      .txOut(scriptAddr, escrowAmount)
-      .txOutInlineDatumValue(outputDatum, "JSON")
-      .changeAddress(walletAddress)
-      .txInCollateral(
-        collateral.input.txHash,
-        collateral.input.outputIndex,
-        collateral.output.amount,
-        collateral.output.address,
-      )
-      .selectUtxosFrom(utxos)
-      .complete();
-    return this.mesh.txHex;
-  };
-
-  completeEscrow = async (escrowUtxo: UTxO): Promise<string> => {
-    const { utxos, walletAddress, collateral } =
-      await this.getWalletInfoForTx();
-    const { address: scriptAddr } = serializePlutusScript(
-      { code: this.scriptCbor, version: "V2" },
-      undefined,
-      this.networkId,
-    );
-    const inputDatum = deserializeDatum<ActiveEscrowDatum>(
-      escrowUtxo.output.plutusData!,
-    );
-    const [
-      initiatorAddressObj,
-      initiatorAmount,
-      recipientAddressObj,
-      recipientAmount,
-    ] = inputDatum.fields;
-    const initiatorAddress = serializeAddressObj(initiatorAddressObj);
-    const recipientAddress = serializeAddressObj(recipientAddressObj);
-    const initiatorToReceive = parsePlutusValueToAssets(recipientAmount);
-    const recipientToReceive = parsePlutusValueToAssets(initiatorAmount);
-
-    await this.mesh
-      .spendingPlutusScriptV2()
-      .txIn(
-        escrowUtxo.input.txHash,
-        escrowUtxo.input.outputIndex,
-        escrowUtxo.output.amount,
-        scriptAddr,
-      )
-      .spendingReferenceTxInInlineDatumPresent()
-      .spendingReferenceTxInRedeemerValue(mConStr2([]))
-      .txInScript(this.scriptCbor)
-      .txOut(initiatorAddress, initiatorToReceive)
-      .txOut(recipientAddress, recipientToReceive)
-      .requiredSignerHash(deserializeAddress(recipientAddress).pubKeyHash)
-      .requiredSignerHash(deserializeAddress(initiatorAddress).pubKeyHash)
-      .changeAddress(walletAddress)
-      .txInCollateral(
-        collateral.input.txHash,
-        collateral.input.outputIndex,
-        collateral.output.amount,
-        collateral.output.address,
-      )
-      .selectUtxosFrom(utxos)
-      .complete();
-    return this.mesh.txHex;
-  };
-
-  getUtxoByTxHash = async (txHash: string): Promise<UTxO | undefined> => {
-    return await this._getUtxoByTxHash(this.scriptCbor, txHash);
-  };
-}

package/src/escrow/readme.md

@@ -1,38 +0,0 @@
-# Escrow contract
-
-Escrow contract facilitates the secure exchange of assets between two parties by acting as a trusted intermediary that holds the assets until the conditions of the agreement are met.
-
-[Demo](https://meshjs.dev/smart-contracts/escrow)
-
-The escrow smart contract allows two parties to exchange assets securely. The contract holds the assets until both parties agree and sign off on the transaction.
-
-There are 4 actions available to interact with this smart contract:
-
-- initiate escrow and deposit assets
-- deposit assets
-- complete escrow
-- cancel escrow
-
-To initialize the escrow, we need to initialize a provider, MeshTxBuilder and MeshEscrowContract.
-
-```
-import { BlockfrostProvider, MeshTxBuilder } from '@meshsdk/core';
-import { MeshEscrowContract } from '@meshsdk/contracts';
-import { useWallet } from '@meshsdk/react';
-
-const { connected, wallet } = useWallet();
-
-const blockchainProvider = new BlockfrostProvider(APIKEY);
-
-const meshTxBuilder = new MeshTxBuilder({
-  fetcher: blockchainProvider,
-  submitter: blockchainProvider,
-});
-
-const contract = new MeshEscrowContract({
-  mesh: meshTxBuilder,
-  fetcher: blockchainProvider,
-  wallet: wallet,
-  networkId: 0,
-});
-```

package/src/giftcard/aiken-workspace/aiken.lock

@@ -1,26 +0,0 @@
-# This file was generated by Aiken
-# You typically do not need to edit this file
-
-[[requirements]]
-name = "aiken-lang/stdlib"
-version = "1.9.0"
-source = "github"
-
-[[requirements]]
-name = "sidan-lab/aiken-utils"
-version = "0.1.6-beta"
-source = "github"
-
-[[packages]]
-name = "aiken-lang/stdlib"
-version = "1.9.0"
-requirements = []
-source = "github"
-
-[[packages]]
-name = "sidan-lab/aiken-utils"
-version = "0.1.6-beta"
-requirements = []
-source = "github"
-
-[etags]

package/src/giftcard/aiken-workspace/aiken.toml

@@ -1,19 +0,0 @@
-name = "meshjs/giftcard"
-version = "0.0.0"
-license = "Apache-2.0"
-description = "Aiken contracts for project 'meshjs/giftcard'"
-
-[repository]
-user = "meshjs"
-project = "giftcard"
-platform = "github"
-
-[[dependencies]]
-name = "aiken-lang/stdlib"
-version = "1.9.0"
-source = "github"
-
-[[dependencies]]
-name = "sidan-lab/aiken-utils"
-version = "0.1.6-beta"
-source = "github"

package/src/giftcard/aiken-workspace/plutus.json

@@ -1,138 +0,0 @@
-{
-  "preamble": {
-    "title": "meshjs/giftcard",
-    "description": "Aiken contracts for project 'meshjs/giftcard'",
-    "version": "0.0.0",
-    "plutusVersion": "v2",
-    "compiler": {
-      "name": "Aiken",
-      "version": "v1.0.29-alpha+unknown"
-    },
-    "license": "Apache-2.0"
-  },
-  "validators": [
-    {
-      "title": "oneshot.gift_card",
-      "redeemer": {
-        "title": "rdmr",
-        "schema": {
-          "$ref": "#/definitions/oneshot~1Action"
-        }
-      },
-      "parameters": [
-        {
-          "title": "token_name",
-          "schema": {
-            "$ref": "#/definitions/ByteArray"
-          }
-        },
-        {
-          "title": "utxo_ref",
-          "schema": {
-            "$ref": "#/definitions/aiken~1transaction~1OutputReference"
-          }
-        }
-      ],
-      "compiledCode": "5901f5010000323232323232322322232323225333009323232533300c3007300d3754002264646464a666026602c00426464a666024601a60266ea803854ccc048c034c04cdd5191980080080311299980b8008a60103d87a80001323253330163375e603660306ea800804c4cdd2a40006603400497ae0133004004001301b002301900115333012300c00113371e00402029405854ccc048cdc3800a4002266e3c0080405281bad3013002375c60220022c602800264a66601e601260206ea800452f5bded8c026eacc050c044dd500099191980080099198008009bab3016301730173017301700522533301500114bd6f7b630099191919299980b19b91488100002153330163371e9101000021003100513301a337606ea4008dd3000998030030019bab3017003375c602a0046032004602e00244a666028002298103d87a800013232323253330153372200e0042a66602a66e3c01c0084cdd2a4000660326e980052f5c02980103d87a80001330060060033756602c0066eb8c050008c060008c058004dd7180998081baa00337586024002601c6ea800858c040c044008c03c004c02cdd50008a4c26cac64a66601060060022a66601660146ea8010526161533300830020011533300b300a37540082930b0b18041baa003370e90011b8748000dd7000ab9a5573aaae7955cfaba05742ae89",
-      "hash": "0c0d17d9095fe6b07a2727403e2c6f2dff8042ed7c300cb67a2577a2"
-    },
-    {
-      "title": "oneshot.redeem",
-      "datum": {
-        "title": "_d",
-        "schema": {
-          "$ref": "#/definitions/Data"
-        }
-      },
-      "redeemer": {
-        "title": "_r",
-        "schema": {
-          "$ref": "#/definitions/Data"
-        }
-      },
-      "parameters": [
-        {
-          "title": "token_name",
-          "schema": {
-            "$ref": "#/definitions/ByteArray"
-          }
-        },
-        {
-          "title": "policy_id",
-          "schema": {
-            "$ref": "#/definitions/ByteArray"
-          }
-        }
-      ],
-      "compiledCode": "5901320100003232323232323223223222253330083232533300d3010002132533300b3370e6eb4c034009200113371e0020122940dd718058008b180700099299980499b8748008c028dd50008a5eb7bdb1804dd5980718059baa001323300100132330010013756601e602060206020602060186ea8c03cc030dd50019129998070008a5eb7bdb1804c8c8c8c94ccc03ccdc8a45000021533300f3371e91010000210031005133013337606ea4008dd3000998030030019bab3010003375c601c0046024004602000244a66601a002298103d87a8000132323232533300e337220140042a66601c66e3c0280084cdd2a4000660246e980052f5c02980103d87a80001330060060033756601e0066eb8c034008c044008c03c00452613656375c0026eb80055cd2ab9d5573caae7d5d02ba157441",
-      "hash": "39faa048196bb6b30f50815475e9d16b22e7a0ef6de5935b408ca617"
-    }
-  ],
-  "definitions": {
-    "ByteArray": {
-      "dataType": "bytes"
-    },
-    "Data": {
-      "title": "Data",
-      "description": "Any Plutus data."
-    },
-    "Int": {
-      "dataType": "integer"
-    },
-    "aiken/transaction/OutputReference": {
-      "title": "OutputReference",
-      "description": "An `OutputReference` is a unique reference to an output on-chain. The `output_index`\n corresponds to the position in the output list of the transaction (identified by its id)\n that produced that output",
-      "anyOf": [
-        {
-          "title": "OutputReference",
-          "dataType": "constructor",
-          "index": 0,
-          "fields": [
-            {
-              "title": "transaction_id",
-              "$ref": "#/definitions/aiken~1transaction~1TransactionId"
-            },
-            {
-              "title": "output_index",
-              "$ref": "#/definitions/Int"
-            }
-          ]
-        }
-      ]
-    },
-    "aiken/transaction/TransactionId": {
-      "title": "TransactionId",
-      "description": "A unique transaction identifier, as the hash of a transaction body. Note that the transaction id\n isn't a direct hash of the `Transaction` as visible on-chain. Rather, they correspond to hash\n digests of transaction body as they are serialized on the network.",
-      "anyOf": [
-        {
-          "title": "TransactionId",
-          "dataType": "constructor",
-          "index": 0,
-          "fields": [
-            {
-              "title": "hash",
-              "$ref": "#/definitions/ByteArray"
-            }
-          ]
-        }
-      ]
-    },
-    "oneshot/Action": {
-      "title": "Action",
-      "anyOf": [
-        {
-          "title": "Mint",
-          "dataType": "constructor",
-          "index": 0,
-          "fields": []
-        },
-        {
-          "title": "Burn",
-          "dataType": "constructor",
-          "index": 1,
-          "fields": []
-        }
-      ]
-    }
-  }
-}

package/src/giftcard/aiken-workspace/readme.md

@@ -1,55 +0,0 @@
-# giftcard
-
-Write validators in the `validators` folder, and supporting functions in the `lib` folder using `.ak` as a file extension.
-
-For example, as `validators/always_true.ak`
-
-```gleam
-validator {
-  fn spend(_datum: Data, _redeemer: Data, _context: Data) -> Bool {
-    True
-  }
-}
-```
-
-## Building
-
-```sh
-aiken build
-```
-
-## Testing
-
-You can write tests in any module using the `test` keyword. For example:
-
-```gleam
-test foo() {
-  1 + 1 == 2
-}
-```
-
-To run all tests, simply do:
-
-```sh
-aiken check
-```
-
-To run only tests matching the string `foo`, do:
-
-```sh
-aiken check -m foo
-```
-
-## Documentation
-
-If you're writing a library, you might want to generate an HTML documentation for it.
-
-Use:
-
-```sh
-aiken docs
-```
-
-## Resources
-
-Find more on the [Aiken's user manual](https://aiken-lang.org).

package/src/giftcard/aiken-workspace/validators/oneshot.ak

@@ -1,173 +0,0 @@
-use aiken/dict
-use aiken/list
-use aiken/transaction.{
-  Input, OutputReference, ScriptContext, Transaction, placeholder,
-} as tx
-use aiken/transaction/value.{from_asset, to_minted_value, zero}
-use sidan_placeholder/address.{mock_pub_key_address}
-use sidan_placeholder/builder.{complete, mint, new_tx_tester, tx_in}
-use sidan_placeholder/key_hex.{mock_policy_id}
-use sidan_placeholder/output_reference.{mock_tx_hash, mock_utxo_ref}
-
-validator(token_name: ByteArray, policy_id: ByteArray) {
-  fn redeem(_d: Data, _r: Data, ctx: ScriptContext) -> Bool {
-    let ScriptContext { transaction, .. } = ctx
-    let Transaction { mint, .. } = transaction
-    expect [Pair(asset_name, amount)] =
-      mint
-        |> value.from_minted_value
-        |> value.tokens(policy_id)
-        |> dict.to_pairs()
-    amount == -1 && asset_name == token_name
-  }
-}
-
-type Action {
-  Mint
-  Burn
-}
-
-validator(token_name: ByteArray, utxo_ref: OutputReference) {
-  fn gift_card(rdmr: Action, ctx: ScriptContext) -> Bool {
-    let ScriptContext { transaction, purpose } = ctx
-    expect tx.Mint(policy_id) = purpose
-    let Transaction { inputs, mint, .. } = transaction
-    expect [Pair(asset_name, amount)] =
-      mint
-        |> value.from_minted_value
-        |> value.tokens(policy_id)
-        |> dict.to_pairs()
-    when rdmr is {
-      Mint -> {
-        expect Some(_input) =
-          list.find(inputs, fn(input) { input.output_reference == utxo_ref })
-        amount == 1 && asset_name == token_name
-      }
-      Burn -> amount == -1 && asset_name == token_name
-    }
-  }
-}
-
-type TestCase {
-  is_mint_info_correct: Bool,
-  is_token_name_correct: Bool,
-}
-
-fn get_mint_test_tx(test_case: TestCase) -> Transaction {
-  let TestCase { is_mint_info_correct, is_token_name_correct } = test_case
-
-  let token_name =
-    if is_token_name_correct {
-      "hello world"
-    } else {
-      "goodbye"
-    }
-
-  new_tx_tester()
-    |> tx_in(True, mock_tx_hash(0), 0, zero(), mock_pub_key_address(0, None))
-    |> mint(is_mint_info_correct, mock_policy_id(0), token_name, 1)
-    |> mint(!is_mint_info_correct, mock_policy_id(0), token_name, 2)
-    |> complete()
-}
-
-test success_mint() {
-  let test_gift_card_name = "hello world"
-  let utxo = mock_utxo_ref(0, 0)
-  let test_case =
-    TestCase { is_mint_info_correct: True, is_token_name_correct: True }
-  let tx = get_mint_test_tx(test_case)
-  let ctx =
-    ScriptContext { transaction: tx, purpose: tx.Mint(mock_policy_id(0)) }
-  gift_card(test_gift_card_name, utxo, Mint, ctx)
-}
-
-test fail_mint_with_more_than_1_mint() {
-  let test_gift_card_name = "hello world"
-  let utxo = mock_utxo_ref(0, 0)
-  let test_case =
-    TestCase { is_mint_info_correct: False, is_token_name_correct: True }
-  let tx = get_mint_test_tx(test_case)
-  let ctx =
-    ScriptContext { transaction: tx, purpose: tx.Mint(mock_policy_id(0)) }
-  !gift_card(test_gift_card_name, utxo, Mint, ctx)
-}
-
-test fail_mint_without_param_name_minted() {
-  let test_gift_card_name = "hello world"
-  let utxo = mock_utxo_ref(0, 0)
-  let test_case =
-    TestCase { is_mint_info_correct: True, is_token_name_correct: False }
-  let tx = get_mint_test_tx(test_case)
-  let ctx =
-    ScriptContext { transaction: tx, purpose: tx.Mint(mock_policy_id(0)) }
-  !gift_card(test_gift_card_name, utxo, Mint, ctx)
-}
-
-fn get_redeem_test_tx(test_case: TestCase) -> Transaction {
-  let TestCase { is_mint_info_correct, is_token_name_correct } = test_case
-
-  let token_name =
-    if is_token_name_correct {
-      "hello world"
-    } else {
-      "goodbye"
-    }
-
-  let mint =
-    if is_mint_info_correct {
-      from_asset(mock_policy_id(0), token_name, -1)
-    } else {
-      from_asset(mock_policy_id(0), token_name, -2)
-    }
-      |> to_minted_value
-
-  Transaction { ..placeholder(), mint: mint }
-}
-
-test success_redeem() {
-  let test_gift_card_name = "hello world"
-  let utxo = mock_utxo_ref(0, 0)
-  let test_case =
-    TestCase { is_token_name_correct: True, is_mint_info_correct: True }
-  let tx = get_redeem_test_tx(test_case)
-  let ctx =
-    ScriptContext { transaction: tx, purpose: tx.Mint(mock_policy_id(0)) }
-  redeem(test_gift_card_name, mock_policy_id(0), "", "", ctx) && gift_card(
-    test_gift_card_name,
-    utxo,
-    Burn,
-    ctx,
-  )
-}
-
-test fail_redeem_without_correct_name() {
-  let test_gift_card_name = "hello world"
-  let utxo = mock_utxo_ref(0, 0)
-  let test_case =
-    TestCase { is_token_name_correct: False, is_mint_info_correct: True }
-  let tx = get_redeem_test_tx(test_case)
-  let ctx =
-    ScriptContext { transaction: tx, purpose: tx.Mint(mock_policy_id(0)) }
-  !(redeem(test_gift_card_name, mock_policy_id(0), "", "", ctx) && gift_card(
-    test_gift_card_name,
-    utxo,
-    Burn,
-    ctx,
-  ))
-}
-
-test fail_redeem_without_correct_mint_info() {
-  let test_gift_card_name = "hello world"
-  let utxo = mock_utxo_ref(0, 0)
-  let test_case =
-    TestCase { is_token_name_correct: True, is_mint_info_correct: False }
-  let tx = get_redeem_test_tx(test_case)
-  let ctx =
-    ScriptContext { transaction: tx, purpose: tx.Mint(mock_policy_id(0)) }
-  !(redeem(test_gift_card_name, mock_policy_id(0), "", "", ctx) && gift_card(
-    test_gift_card_name,
-    utxo,
-    Burn,
-    ctx,
-  ))
-}