diff options
Diffstat (limited to 'stdlib/source/library/lux/math/number/ratio.lux')
-rw-r--r-- | stdlib/source/library/lux/math/number/ratio.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/library/lux/math/number/ratio.lux b/stdlib/source/library/lux/math/number/ratio.lux index be5bb235a..b7ef79ccb 100644 --- a/stdlib/source/library/lux/math/number/ratio.lux +++ b/stdlib/source/library/lux/math/number/ratio.lux @@ -30,19 +30,19 @@ (def: .public (nat value) (-> Ratio (Maybe Nat)) (case (value@ #denominator value) - 1 {#.Some (value@ #numerator value)} - _ #.None)) + 1 {.#Some (value@ #numerator value)} + _ {.#None})) (def: (normal (^slots [#numerator #denominator])) (-> Ratio Ratio) - (let [common (n.gcd numerator denominator)] - [#numerator (n./ common numerator) - #denominator (n./ common denominator)])) + (let [common (n.gcd #numerator #denominator)] + [..#numerator (n./ common #numerator) + ..#denominator (n./ common #denominator)])) (syntax: .public (ratio [numerator <code>.any ?denominator (<>.maybe <code>.any)]) - (in (list (` ((~! ..normal) [#..numerator (~ numerator) - #..denominator (~ (maybe.else (' 1) ?denominator))]))))) + (in (list (` ((~! ..normal) [..#numerator (~ numerator) + ..#denominator (~ (maybe.else (' 1) ?denominator))]))))) (def: .public (= parameter subject) (-> Ratio Ratio Bit) @@ -123,8 +123,8 @@ (def: .public (reciprocal (^slots [#numerator #denominator])) (-> Ratio Ratio) - [#numerator denominator - #denominator numerator]) + [..#numerator #denominator + ..#denominator #numerator]) (def: separator ":") @@ -132,19 +132,19 @@ (Codec Text Ratio) (def: (encoded (^slots [#numerator #denominator])) - ($_ text\composite (n\encoded numerator) ..separator (n\encoded denominator))) + ($_ text\composite (n\encoded #numerator) ..separator (n\encoded #denominator))) (def: (decoded input) (case (text.split_by ..separator input) - {#.Some [num denom]} + {.#Some [num denom]} (do try.monad [numerator (n\decoded num) denominator (n\decoded denom)] (in (normal [#numerator numerator #denominator denominator]))) - #.None - {#.Left (text\composite "Invalid syntax for ratio: " input)}))) + {.#None} + {.#Left (text\composite "Invalid syntax for ratio: " input)}))) (template [<identity> <composite> <name>] [(implementation: .public <name> |