summaryrefslogtreecommitdiff
path: root/lib/std/extremum.myr
diff options
context:
space:
mode:
Diffstat (limited to 'lib/std/extremum.myr')
-rw-r--r--lib/std/extremum.myr12
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/std/extremum.myr b/lib/std/extremum.myr
index b8afc01..2c46ae1 100644
--- a/lib/std/extremum.myr
+++ b/lib/std/extremum.myr
@@ -1,8 +1,8 @@
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 : @a, b : @a -> @a) :: numeric @a
+ generic max : (a : @a, b : @a -> @a) :: numeric @a
+ generic clamp : (a : @a, min : @a, max : @a -> @a) :: numeric @a
+ generic abs : (a : @a -> @a) :: numeric @a
;;
generic min = {a, b
@@ -31,8 +31,8 @@ generic clamp = {a, min, max
;;
}
-generic abs = {a : @a::numeric
- if a < (0 : @a::numeric)
+generic abs = {a : @a :: numeric @a
+ if a < (0 : @a)
-> -a
else
-> a