-
Notifications
You must be signed in to change notification settings - Fork 172
/
main.nr
47 lines (37 loc) · 1.26 KB
/
main.nr
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
44
45
46
use dep::std::slice;
use dep::std;
fn main(x : Field, y : pub Field) {
/// TODO(#1889): Using slices in if statements where the condition is a witness
/// is not yet supported
let mut slice: [Field] = [0; 2];
assert(slice[0] == 0);
assert(slice[0] != 1);
slice[0] = x;
assert(slice[0] == x);
let slice_plus_10 = slice.push_back(y);
assert(slice_plus_10[2] == 10);
assert(slice_plus_10[2] != 8);
assert(slice_plus_10.len() == 3);
let mut new_slice: [Field] = [];
for i in 0..5 {
new_slice = new_slice.push_back(i);
}
assert(new_slice.len() == 5);
new_slice = new_slice.push_front(20);
assert(new_slice[0] == 20);
assert(new_slice.len() == 6);
let (popped_slice, last_elem) = new_slice.pop_back();
assert(last_elem == 4);
assert(popped_slice.len() == 5);
let (first_elem, rest_of_slice) = popped_slice.pop_front();
assert(first_elem == 20);
assert(rest_of_slice.len() == 4);
new_slice = rest_of_slice.insert(2, 100);
assert(new_slice[2] == 100);
assert(new_slice[4] == 3);
assert(new_slice.len() == 5);
let (remove_slice, removed_elem) = new_slice.remove(3);
assert(removed_elem == 2);
assert(remove_slice[3] == 3);
assert(remove_slice.len() == 4);
}