aiken-lang 1.1.19

Cardano smart contract language and toolchain
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

---
source: crates/aiken-lang/src/tests/format.rs
description: "Code:\n\nvalidator foo(Foo { a, b, .. }) {\n    spend() { todo }\n}\n\nvalidator foo([Bar] : List<Bar>) {\n    spend() { todo }\n}\n\nvalidator foo((Baz, Baz) as x) {\n    mint() { todo }\n}\n\nvalidator fiz((fst, snd) as x: Pair<Int, Int>) {\n    spend() { todo }\n}\n"
---
validator foo(Foo { a, b, .. }) {
  spend() {
    todo
  }

  else(_) {
    fail
  }
}

validator foo([Bar]: List<Bar>) {
  spend() {
    todo
  }

  else(_) {
    fail
  }
}

validator foo((Baz, Baz) as x) {
  mint() {
    todo
  }

  else(_) {
    fail
  }
}

validator fiz((fst, snd) as x: Pair<Int, Int>) {
  spend() {
    todo
  }

  else(_) {
    fail
  }
}