Tools for generating to and from wit format.
Option 1
bash
cargo install witme
If generating json schemas need nodejs installed. One suggestion is to use nvm.
Option 2
bash
npm i -g witme
Currently this repo is geared toward NEAR smart contracts (currently only for Rust), but the goal is to become a general purpose tool for working with the .wit format.
.wit from NEAR smart contracts written in Rust.wit for interacting with contractsCurrently there is a near subcommand for dealing with NEAR related transformations.
witme near wit
index.wit file in the root of a rust project (note: it can't be a workspace). This builds on witgen.witme near ts
.wit file (defaults index.wit -> ./ts/*). This builds on wit-bindgenwitme near json
./ts/index.ts --> index.schema.json), which uses ts-json-schema-generator.witme near inject
The generated json schema can be used to automatically generate a react form which can validate the arguments to a contract call. Since .wit has a notion of documentation comments the documentation provided by the Rust source will be available in the generated TS and Json schema. This also allows special annotations which can add more conditions on the types used in the contract.
For example,
rust
/// @minLength 2
/// @maxLength 64
/// @pattern ^(([a-z\d]+[-_])*[a-z\d]+\.)*([a-z\d]+[-_])*[a-z\d]+$
type AccountId = String
Generates the following wit:
wit
/// @minLength 2
/// @maxLength 64
/// @pattern ^(([a-z\d]+[-_])*[a-z\d]+\.)*([a-z\d]+[-_])*[a-z\d]+$
type account-id = string
which generates the following typescript:
typescript
/**
* @minLength 2
* @maxLength 64
* @pattern ^(([a-z\d]+[-_])*[a-z\d]+\.)*([a-z\d]+[-_])*[a-z\d]+$
*/
export declare type AccountId = string;
which generates the following json schema:
```json { "$schema": "http://json-schema.org/draft-07/schema#", "definitions": { "AccountId": { "maxLength": 64, "minLength": 2, "pattern": "^(([a-z\d]+[-])*[a-z\d]+\.)*([a-z\d]+[-])*[a-z\d]+$", "type": "string" },
```
Consider the rust-status-message example in this repo:
rust
/// Retreive a message for a given account id
pub fn get_status(&self, account_id: AccountId) -> Option<String> {
self.records.get(&account_id)
}
generates the following schema for its arguments:
json
{
"GetStatus": {
"additionalProperties": false,
"contractMethod": "view",
"description": "Retreive a message for a given account id",
"properties": {
"account_id": {
"$ref": "#/definitions/AccountId"
}
},
"required": [
"account_id"
],
"type": "object"
},
}
And the following TS method on the generated Contract class:
typescript
/**
* Retreive a message for a given account id
*/
get_status(args: {
account_id: AccountId;
}, options?: ViewFunctionOptions): Promise<string | null>;
See close-up for an example for generating forms from a schema.
Currently .wit doesn't prescribe how variant types are implemented for a language. witme currently supports JSON encoded arguments and return values. Thus variants are currently encoded the same as the defaults provided by serde_json. However, in the future borsh support would remove this restriction and allow variant types to be encoded more efficiently.
wit