aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/number
diff options
context:
space:
mode:
authorEduardo Julian2017-12-24 18:10:12 -0400
committerEduardo Julian2017-12-24 18:10:12 -0400
commit342cc20371fd43a6d6ac93620283072dbdcc26ac (patch)
tree9df19b3c9c056f0fefae2405f77a56d23f19cec6 /stdlib/source/lux/data/number
parente3f6c988699be9f83fbc4a2bc4730f7df7f8eca0 (diff)
- Minor refactorings and bug fixes.
Diffstat (limited to 'stdlib/source/lux/data/number')
-rw-r--r--stdlib/source/lux/data/number/ratio.lux14
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."