blob: 26de3dec48b1a188b51ac2c0b160340ff67a04a8 (
plain) (
blame)
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
|
# MIT License, Copyright (c) 2022 Marvin Borner
:import std/Combinator .
# empty option
none true
# encapsulates value in option
some [[[0 2]]]
# checks whether option is none
none? [0 true [false]]
:test (none? none) (true)
:test (none? (some [[0]])) (false)
# checks whether option is some
some? [0 false [true]]
:test (some? none) (false)
:test (some? (some [[0]])) (true)
# applies a function to the value in option
map [[0 none [some (2 0)]]]
:test (map [[1]] (some [[0]])) (some [[[0]]])
:test (map [[1]] none) (none)
# applies a function to the value in option or returns first arg if none
map-or [[[0 2 1]]]
:test (map-or [[[2]]] [[1]] (some [[0]])) ([[[0]]])
:test (map-or [[[2]]] [[1]] none) ([[[2]]])
# extracts value from option or returns first argument if none
unwrap-or [[0 1 I]]
:test (unwrap-or false (some true)) (true)
:test (unwrap-or false none) (false)
# applies encapsulated value to given function
apply [[1 none 0]]
:test (apply none [some ([[1]] 0)]) (none)
:test (apply (some [[0]]) [some ([[1]] 0)]) (some [[[0]]])
|
