aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/type/unit.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index bf1863dfa..84fee2dbb 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -28,14 +28,14 @@
(type: #export Pure
(Qty []))
-(type: #export (Quotient d n)
+(type: #export (Per d n)
(-> d n))
(type: #export (Inverse u)
- (Quotient u Pure))
+ (|> Pure (Per u)))
(type: #export (Product p s)
- (Quotient (Inverse p) s))
+ (|> s (Per (Inverse p))))
(def: #export (in carrier magnitude)
(All [unit] (-> unit Int (Qty unit)))
@@ -121,7 +121,7 @@
)
(def: #export (// param subject)
- (All [p s] (-> (Qty p) (Qty s) (Quotient (Qty p) (Qty s))))
+ (All [p s] (-> (Qty p) (Qty s) (|> (Qty s) (Per (Qty p)))))
(function [input]
(|> (out subject)
(i.* (out input))