1 files changed, 25 insertions, 0 deletions
diff --git a/source/lux/control/enum.lux b/source/lux/control/enum.lux
new file mode 100644
index 000000000..4ce368e96
--- /dev/null
+++ b/source/lux/control/enum.lux
@@ -0,0 +1,25 @@
+##  Copyright (c) Eduardo Julian. All rights reserved.
+##  This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+##  If a copy of the MPL was not distributed with this file,
+##  You can obtain one at http://mozilla.org/MPL/2.0/.
+
+(;import lux
+         (lux/control ord))
+
+## [Signatures]
+(defsig #export (Enum e)
+  (: (Ord e) _ord)
+  (: (-> e e) succ)
+  (: (-> e e) pred))
+
+## [Functions]
+(def (range' <= succ from to)
+  (All [a] (-> (-> a a Bool) (-> a a) a a (List a)))
+  (if (<= from to)
+    (#;Cons from (range' <= succ (succ from) to))
+    #;Nil))
+
+(def #export (range enum from to)
+  (All [a] (-> (Enum a) a a (List a)))
+  (using enum
+    (range' <= succ from to)))