diff options
author | Eduardo Julian | 2022-06-26 18:37:05 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-26 18:37:05 -0400 |
commit | 9f6505491e8a5c8a159ce094fe0af6f4fef0c5cf (patch) | |
tree | d497c163e477406a388460eedea80fdd6ee9748a /stdlib/source/library/lux/target/jvm/bytecode/address.lux | |
parent | 3053fd79bc6ae42415298ee056a268dc2c9b690c (diff) |
Re-named "format/lux/data/binary.Writer" to "Format".
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/address.lux')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/address.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux index 58a9d411e..f1b07aa77 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux @@ -8,9 +8,9 @@ ["[0]" try (.only Try)]] [data [binary - [\\format (.only Writer)]] + [\\format (.only Format)]] [text - ["%" \\format (.only Format)]]] + ["%" \\format]]] [math [number ["n" nat]]] @@ -64,11 +64,11 @@ (representation reference) (representation subject))))) - (def .public writer - (Writer Address) - (|>> representation ///unsigned.writer/2)) - (def .public format (Format Address) + (|>> representation ///unsigned.format/2)) + + (def .public text + (%.Format Address) (|>> representation ///unsigned.value %.nat)) ) |