- Implemented Nat functionality in pure Lux.

3 files changed, 6 insertions, 6 deletions

diff --git a/stdlib/source/lux/data/coll/queue/priority.lux b/stdlib/source/lux/data/coll/queue/priority.lux
index 833d3b3e1..970cb9cc9 100644
--- a/stdlib/source/lux/data/coll/queue/priority.lux
+++ b/stdlib/source/lux/data/coll/queue/priority.lux
@@ -3,7 +3,7 @@
   (lux (control [eq #+ Eq]
                 [monad #+ do Monad])
        (data (coll (tree ["F" finger]))
-             [number]
+             [number "nat/" Interval<Nat>]
              [maybe])))
 
 (type: #export Priority Nat)
@@ -11,8 +11,8 @@
 (type: #export (Queue a)
   (Maybe (F.Fingers Priority a)))
 
-(def: max-priority Priority ("lux nat max"))
-(def: min-priority Priority ("lux nat min"))
+(def: #export max Priority nat/top)
+(def: #export min Priority nat/bottom)
 
 (def: #export empty
   Queue
diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux
index c784e81ef..bd1d34cad 100644
--- a/stdlib/source/lux/data/number.lux
+++ b/stdlib/source/lux/data/number.lux
@@ -103,7 +103,7 @@
      (def: top <top>)
      (def: bottom <bottom>))]
 
-  [ Nat Enum<Nat>  ("lux nat max") ("lux nat min")]
+  [ Nat Enum<Nat>  ("lux coerce" Nat -1) +0]
   [ Int Enum<Int>  ("lux int max") ("lux int min")]
   [Frac Enum<Frac> ("lux frac max") ("lux frac min")]
   [ Deg Enum<Deg>  ("lux deg max") ("lux deg min")]
diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux
index 90f9bec02..1a9aa112b 100644
--- a/stdlib/source/lux/data/text.lux
+++ b/stdlib/source/lux/data/text.lux
@@ -207,9 +207,9 @@
   (-> Text Text Text)
   (enclose [boundary boundary] content))
 
-(def: #export (from-code code)
+(def: #export from-code
   (-> Nat Text)
-  ("lux nat char" code))
+  (|>> (:! Int) "lux int char"))
 
 (def: #export (space? char)
   {#.doc "Checks whether the character is white-space."}