diff options
Diffstat (limited to 'stdlib/source/library/lux/math/number/rev.lux')
| -rw-r--r-- | stdlib/source/library/lux/math/number/rev.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux index f8f24b3e5..d919af0b4 100644 --- a/stdlib/source/library/lux/math/number/rev.lux +++ b/stdlib/source/library/lux/math/number/rev.lux @@ -210,7 +210,7 @@ [(implementation: .public <name> (Monoid Rev) - (def: identity (# interval <identity>)) + (def: identity (at interval <identity>)) (def: composite <composite>))] [addition ..+ bottom] @@ -228,7 +228,7 @@ (Codec Text Rev) (def: (encoded value) - (let [raw_output (# <codec> encoded (.nat value)) + (let [raw_output (at <codec> encoded (.nat value)) max_num_chars (//nat.+ (//nat./ <char_bit_size> //i64.width) (case (//nat.% <char_bit_size> //i64.width) 0 0 @@ -250,7 +250,7 @@ (if (//nat.> 1 repr_size) (case ("lux text char" 0 repr) (pattern (char ".")) - (case (# <codec> decoded (..decimals repr)) + (case (at <codec> decoded (..decimals repr)) {try.#Success output} {try.#Success (.rev output)} @@ -333,7 +333,7 @@ (again (-- idx) false ("lux text concat" - (# //nat.decimal encoded digit) + (at //nat.decimal encoded digit) output))))))) (def: (digits#+! param subject) |