aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/abstract/enum.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-03-16 08:37:23 -0400
committerEduardo Julian2022-03-16 08:37:23 -0400
commitbf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 (patch)
tree49683a62ae8e110c62b42a9a6386bb2ddb3c47c6 /stdlib/source/library/lux/abstract/enum.lux
parentd710d9f4fc098e7c243c8a5f23cd42683f13e07f (diff)
De-sigil-ification: prefix :
Diffstat (limited to 'stdlib/source/library/lux/abstract/enum.lux')
-rw-r--r--stdlib/source/library/lux/abstract/enum.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/abstract/enum.lux b/stdlib/source/library/lux/abstract/enum.lux
index c172df2ab..fd9e19e37 100644
--- a/stdlib/source/library/lux/abstract/enum.lux
+++ b/stdlib/source/library/lux/abstract/enum.lux
@@ -6,16 +6,16 @@
(type: .public (Enum e)
(Interface
- (: (Order e) &order)
- (: (-> e e) succ)
- (: (-> e e) pred)))
+ (is (Order e) &order)
+ (is (-> e e) succ)
+ (is (-> e e) pred)))
(def: .public (range enum from to)
(All (_ a) (-> (Enum a) a a (List a)))
(let [(open "/#[0]") enum]
(loop [end to
- output (`` (: (List (~~ (:of from)))
- {.#End}))]
+ output (`` (is (List (~~ (type_of from)))
+ {.#End}))]
(cond (/#< end from)
(again (/#pred end) {.#Item end output})