diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type/unit.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux index c2a4629c0..5bf8e9d48 100644 --- a/stdlib/source/lux/type/unit.lux +++ b/stdlib/source/lux/type/unit.lux @@ -58,7 +58,7 @@ (do-template [<name> <tag>] [(def: <name> (-> Text Text) - (|>. (format "{" kind "@" module "}") + (|>> (format "{" kind "@" module "}") (let [[module kind] (ident-for <tag>)])))] [unit-name #;;Unit] @@ -98,12 +98,12 @@ (` (struct: (~@ (csw;export export)) (~ (code;local-symbol (format "@" name))) (;;Scale (~ g!scale)) (def: (~' scale) - (|>. ;;out + (|>> ;;out (i/* (~ (code;int (nat-to-int numerator)))) (i// (~ (code;int (nat-to-int denominator)))) (;;in (:! ((~ g!scale) ($ +0)) [])))) (def: (~' de-scale) - (|>. ;;out + (|>> ;;out (i/* (~ (code;int (nat-to-int denominator)))) (i// (~ (code;int (nat-to-int numerator)))) (;;in (:! ($ +0) [])))) @@ -116,11 +116,11 @@ (All [unit] (-> (Qty unit) (Qty unit) (Qty unit))) (|> (out subject) (<op> (out param)) (in (carrier subject))))] - [u+ i/+] - [u- i/-] + [u/+ i/+] + [u/- i/-] ) -(def: #export (u/ param subject) +(def: #export (u// param subject) (All [p s] (-> (Qty p) (Qty s) (|> (Qty s) (Per (Qty p))))) (function [input] (|> (out subject) @@ -128,7 +128,7 @@ (i// (out param)) (in (carrier subject))))) -(def: #export (u* param subject) +(def: #export (u/* param subject) (All [p s] (-> (Qty p) (Qty s) (Product (Qty p) (Qty s)))) (function [input] (|> (out subject) @@ -137,7 +137,7 @@ (def: #export (re-scale from to quantity) (All [si so u] (-> (Scale si) (Scale so) (Qty (si u)) (Qty (so u)))) - (let [[numerator denominator] (|> (:: to ratio) (r;q./ (:: from ratio)))] + (let [[numerator denominator] (|> (:: to ratio) (r;r// (:: from ratio)))] (|> quantity out (i/* (nat-to-int numerator)) (i// (nat-to-int denominator)) |