blob: b8afc01e96b3ef99c866f1ac79f8048ac8431e7e (
plain)
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
|
pkg std =
generic min : (a : @a::numeric, b : @a::numeric -> @a::numeric)
generic max : (a : @a::numeric, b : @a::numeric -> @a::numeric)
generic clamp : (a : @a::numeric, min : @a::numeric, max : @a::numeric -> @a::numeric)
generic abs : (a : @a::numeric -> @a::numeric)
;;
generic min = {a, b
if a < b
-> a
else
-> b
;;
}
generic max = {a, b
if a > b
-> a
else
-> b
;;
}
generic clamp = {a, min, max
if a < min
-> min
elif a > max
-> max
else
-> a
;;
}
generic abs = {a : @a::numeric
if a < (0 : @a::numeric)
-> -a
else
-> a
;;
}
|