primitive-types

Write validators in the validators folder, and supporting functions in the lib folder using .ak as a file extension.

validator my_first_validator {
  spend(_datum: Option<Data>, _redeemer: Data, _output_reference: Data, _context: Data) {
    True
  }
}

Building

aiken build

aiken.toml

[config.default]
network_id = 41

Or, alternatively, write conditional environment modules under env.

You can write tests in any module using the test keyword. For example:

use config

test foo() {
  config.network_id + 1 == 42
}

To run all tests, simply do:

aiken check

To run only tests matching the string foo, do:

aiken check -m foo

If you're writing a library, you might want to generate an HTML documentation for it.

Use:

aiken docs