From 0e65d2fc2e9c20dd66f1e972137d3a2504cacbb7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 22 Aug 2017 20:50:00 -0400
Subject: - Improved naming convention for quotient types.

---
 stdlib/source/lux/type/unit.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source')

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))
-- 
cgit v1.2.3