diff options
| -rw-r--r-- | stdlib/source/lux/type/unit.lux | 8 |
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)) |