- Improved naming convention for quotient types.

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))