diff options
author | Eduardo Julian | 2017-12-24 18:10:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-24 18:10:12 -0400 |
commit | 342cc20371fd43a6d6ac93620283072dbdcc26ac (patch) | |
tree | 9df19b3c9c056f0fefae2405f77a56d23f19cec6 /stdlib/source/lux/data/number | |
parent | e3f6c988699be9f83fbc4a2bc4730f7df7f8eca0 (diff) |
- Minor refactorings and bug fixes.
Diffstat (limited to 'stdlib/source/lux/data/number')
-rw-r--r-- | stdlib/source/lux/data/number/ratio.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/data/number/ratio.lux b/stdlib/source/lux/data/number/ratio.lux index 8342c9d28..a56a51433 100644 --- a/stdlib/source/lux/data/number/ratio.lux +++ b/stdlib/source/lux/data/number/ratio.lux @@ -7,8 +7,8 @@ codec monad ["p" parser]) - (data [number "n/" Codec<Text,Nat>] - [text "Text/" Monoid<Text>] + (data [number "nat/" Codec<Text,Nat>] + [text "text/" Monoid<Text>] text/format ["E" error] [product] @@ -23,7 +23,7 @@ (def: (normalize (^slots [#numerator #denominator])) (-> Ratio Ratio) - (let [common (math.gcd numerator denominator)] + (let [common (math.n/gcd numerator denominator)] {#numerator (n// common numerator) #denominator (n// common denominator)})) @@ -128,15 +128,15 @@ (def: part-encode (-> Nat Text) - (|>> n/encode (text.split +1) maybe.assume product.right)) + (|>> nat/encode (text.split +1) maybe.assume product.right)) (def: part-decode (-> Text (E.Error Nat)) - (|>> (format "+") n/decode)) + (|>> (format "+") nat/decode)) (struct: #export _ (Codec Text Ratio) (def: (encode (^slots [#numerator #denominator])) - ($_ Text/compose (part-encode numerator) separator (part-encode denominator))) + ($_ text/compose (part-encode numerator) separator (part-encode denominator))) (def: (decode input) (case (text.split-with separator input) @@ -148,7 +148,7 @@ #denominator denominator}))) #.None - (#.Left (Text/compose "Invalid syntax for ratio: " input))))) + (#.Left (text/compose "Invalid syntax for ratio: " input))))) (syntax: #export (ratio numerator [?denominator (p.maybe s.any)]) {#.doc (doc "Rational literals." |