blob: 28b8181ac579275e682c65a209f05fa99de0217a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# MIT License, Copyright (c) 2022 Marvin Borner
:import std/Combinator .
# encapsulates a value in ok
ok [[[1 2]]]
:test ok [[0]] = [[1 [[0]]]]
# encapsulates a value in err
err [[[0 2]]]
:test err [[0]] = [[0 [[0]]]]
# checks whether result is ok
ok? [0 [T] [F]]
:test ok? (ok [[0]]) = T
:test ok? (err [[0]]) = F
# checks whether result is not ok
err? [0 [F] [T]]
:test err? (ok [[0]]) = F
:test err? (err [[0]]) = T
|
