aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorEduardo Julian2017-08-22 20:50:00 -0400
committerEduardo Julian2017-08-22 20:50:00 -0400
commit0e65d2fc2e9c20dd66f1e972137d3a2504cacbb7 (patch)
tree8cbe699e5021b04465b1822b82aa670c0ec3e30f /stdlib
parent8c2432ad7ce90dc59f59660d9c893381036f9d7e (diff)
- Improved naming convention for quotient types.
Diffstat (limited to 'stdlib')
-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))