aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/number/ratio.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/math/number/ratio.lux')
-rw-r--r--stdlib/source/library/lux/math/number/ratio.lux26
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>