diff options
author | Eduardo Julian | 2021-02-07 04:56:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-02-07 04:56:58 -0400 |
commit | d99c47989a1047cd24019fd5ce434e701b5d3519 (patch) | |
tree | 19bfb0f5e4713e5dcd0c71bbd7b88d09d75dfe5d /stdlib/source/lux/type/unit.lux | |
parent | 571d816dfd0b056a1649f5057867abbfa4421f5d (diff) |
Mo' updates, less problems.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/type/unit.lux | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux index 0a3d5c61a..b45e32c37 100644 --- a/stdlib/source/lux/type/unit.lux +++ b/stdlib/source/lux/type/unit.lux @@ -103,6 +103,7 @@ (primitive (~ (code.text (scale_name name))) [(~' u)]))) (` (structure: (~+ (|export|.format export)) (~ (code.local_identifier (format "@" name))) (..Scale (~ g!scale)) + (def: (~' scale) (|>> ..out (i.* (~ (code.int (.int numerator)))) @@ -165,17 +166,23 @@ (unit: #export Litre) (unit: #export Second) -(structure: #export equivalence (All [unit] (Equivalence (Qty unit))) +(structure: #export equivalence + (All [unit] (Equivalence (Qty unit))) + (def: (= reference sample) (i.= (out reference) (out sample)))) -(structure: #export order (All [unit] (Order (Qty unit))) +(structure: #export order + (All [unit] (Order (Qty unit))) + (def: &equivalence ..equivalence) (def: (< reference sample) (i.< (out reference) (out sample)))) -(structure: #export enum (All [unit] (Enum (Qty unit))) +(structure: #export enum + (All [unit] (Enum (Qty unit))) + (def: &order ..order) (def: succ (|>> ..out inc ..in)) (def: pred (|>> ..out dec ..in))) |