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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
-module(ataxic_sugar).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% TYPES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% EXPORTS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-export
(
[
update_array_cell/2,
update_orddict_element/2,
update_ordset/2,
nop/0
]
).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% LOCAL FUNCTIONS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% EXPORTED FUNCTIONS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-spec update_array_cell (non_neg_integer(), ataxic:basic()) -> ataxic:basic().
update_array_cell (IX, OP) ->
ataxic:apply_function
(
array,
set,
[
ataxic:constant(IX),
ataxic:sequence
(
[
ataxic:apply_function
(
array,
get,
[
ataxic:constant(IX),
ataxic:current_value()
]
),
OP
]
),
ataxic:current_value()
]
).
-spec update_orddict_element
(
any(),
ataxic:basic()
)
-> ataxic:basic().
update_orddict_element (IX, OP) ->
ataxic:apply_function
(
orddict,
store,
[
ataxic:constant(IX),
(
case ataxic:is_constant(OP) of
true -> OP;
false ->
ataxic:sequence
(
[
ataxic:apply_function
(
orddict,
fetch,
[
ataxic:constant(IX),
ataxic:current_value()
]
),
OP
]
)
end
),
ataxic:current_value()
]
).
-spec nop () -> ataxic:basic().
nop () -> ataxic:sequence([]).
-spec update_ordset
(
ordsets:ordset(any()),
ordsets:ordset(any())
) -> ataxic:basic().
update_ordset (Old, New) ->
Remove = ordsets:subtract(Old, New),
Add = ordsets:subtract(New, Old),
ataxic:sequence
(
[
ataxic:apply_function
(
ordsets,
substract,
[
ataxic:current_value(),
ataxic:constant(Remove)
]
),
ataxic:apply_function
(
ordsets,
union,
[
ataxic:current_value(),
ataxic:constant(Add)
]
)
]
).
|
