aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type/unit.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-02-07 04:56:58 -0400
committerEduardo Julian2021-02-07 04:56:58 -0400
commitd99c47989a1047cd24019fd5ce434e701b5d3519 (patch)
tree19bfb0f5e4713e5dcd0c71bbd7b88d09d75dfe5d /stdlib/source/lux/type/unit.lux
parent571d816dfd0b056a1649f5057867abbfa4421f5d (diff)
Mo' updates, less problems.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/type/unit.lux13
1 files changed, 10 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index 0a3d5c61a..b45e32c37 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -103,6 +103,7 @@
(primitive (~ (code.text (scale_name name))) [(~' u)])))
(` (structure: (~+ (|export|.format export)) (~ (code.local_identifier (format "@" name)))
(..Scale (~ g!scale))
+
(def: (~' scale)
(|>> ..out
(i.* (~ (code.int (.int numerator))))
@@ -165,17 +166,23 @@
(unit: #export Litre)
(unit: #export Second)
-(structure: #export equivalence (All [unit] (Equivalence (Qty unit)))
+(structure: #export equivalence
+ (All [unit] (Equivalence (Qty unit)))
+
(def: (= reference sample)
(i.= (out reference) (out sample))))
-(structure: #export order (All [unit] (Order (Qty unit)))
+(structure: #export order
+ (All [unit] (Order (Qty unit)))
+
(def: &equivalence ..equivalence)
(def: (< reference sample)
(i.< (out reference) (out sample))))
-(structure: #export enum (All [unit] (Enum (Qty unit)))
+(structure: #export enum
+ (All [unit] (Enum (Qty unit)))
+
(def: &order ..order)
(def: succ (|>> ..out inc ..in))
(def: pred (|>> ..out dec ..in)))