builtin.sapl 444 Bytes
Newer Older
1
2
3
4
App1 !f a1 = f a1
App2 !f a1 a2 = f a1 a2
App3 !f a1 a2 a3 = f a1 a2 a3
App4 !f a1 a2 a3 a4 = f a1 a2 a3 a4
Laszlo Domoszlai's avatar
Laszlo Domoszlai committed
5
6
7
8
9
10
11
App5 !f a1 a2 a3 a4 a5 = f a1 a2 a3 a4 a5

:: _Tuple2 = _Tuple2 a b

string_usize !str = _Tuple2 (string_size str) str
string_uselect !str !pos::I = _Tuple2 (string_select str pos) str
string_replace !str !idx::I !ch::C = _Tuple2 (string_select str idx) (string_update str idx ch)
Laszlo Domoszlai's avatar
Laszlo Domoszlai committed
12
13
14

second !f !s = s
trace !str a = second (_trace str) a