diff options
Diffstat (limited to 'stdlib/source/lux/data/number/rev.lux')
| -rw-r--r-- | stdlib/source/lux/data/number/rev.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/data/number/rev.lux b/stdlib/source/lux/data/number/rev.lux index 6345cf02d..a52be16a4 100644 --- a/stdlib/source/lux/data/number/rev.lux +++ b/stdlib/source/lux/data/number/rev.lux @@ -199,7 +199,7 @@ [(structure: #export <name> (Monoid Rev) - (def: identity (:: interval <identity>)) + (def: identity (\ interval <identity>)) (def: compose <compose>))] [addition ..+ bottom] @@ -217,7 +217,7 @@ (Codec Text Rev) (def: (encode value) - (let [raw-output (:: <codec> encode (:coerce Nat value)) + (let [raw-output (\ <codec> encode (:coerce Nat value)) max-num-chars (//nat.+ (//nat./ <char-bit-size> 64) (case (//nat.% <char-bit-size> 64) 0 0 @@ -238,7 +238,7 @@ (if (//nat.> 1 repr-size) (case ("lux text char" 0 repr) (^ (char ".")) - (case (:: <codec> decode (de-prefix repr)) + (case (\ <codec> decode (de-prefix repr)) (#try.Success output) (#try.Success (:coerce Rev output)) @@ -319,7 +319,7 @@ (recur (dec idx) #0 ("lux text concat" - (:: //nat.decimal encode digit) + (\ //nat.decimal encode digit) output)))) (if all-zeroes? "0" |