diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/format/binary.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux index 1d99204b6..3c43cea09 100644 --- a/stdlib/source/library/lux/data/format/binary.lux +++ b/stdlib/source/library/lux/data/format/binary.lux @@ -76,10 +76,10 @@ (<write> offset value) try.trusted)])]))] - [bits/8 /.size/8 binary.has/1!] - [bits/16 /.size/16 binary.has/2!] - [bits/32 /.size/32 binary.has/4!] - [bits/64 /.size/64 binary.has/8!] + [bits_8 /.size_8 binary.has_8!] + [bits_16 /.size_16 binary.has_16!] + [bits_32 /.size_32 binary.has_32!] + [bits_64 /.size_64 binary.has_64!] ) (def: .public (or left right) @@ -92,7 +92,7 @@ [(.++ caseS) (function (_ [offset binary]) (|> binary - (binary.has/1! offset <number>) + (binary.has_8! offset <number>) try.trusted [(.++ offset)] caseT))])]) @@ -116,10 +116,10 @@ (def: .public bit (Writer Bit) - (|>> (pipe.case #0 0 #1 1) ..bits/8)) + (|>> (pipe.case #0 0 #1 1) ..bits_8)) (template [<name> <type>] - [(def: .public <name> (Writer <type>) ..bits/64)] + [(def: .public <name> (Writer <type>) ..bits_64)] [nat Nat] [int Int] @@ -128,7 +128,7 @@ (def: .public frac (Writer Frac) - (|>> frac.bits ..bits/64)) + (|>> frac.bits ..bits_64)) (def: .public (segment size) (-> Nat (Writer Binary)) @@ -158,10 +158,10 @@ [_ (<write> offset size binary)] (binary.copy! size 0 value (n.+ <size> offset) binary)))])]))))] - [binary/8 ..bits/8 /.size/8 binary.has/1!] - [binary/16 ..bits/16 /.size/16 binary.has/2!] - [binary/32 ..bits/32 /.size/32 binary.has/4!] - [binary/64 ..bits/64 /.size/64 binary.has/8!] + [binary_8 ..bits_8 /.size_8 binary.has_8!] + [binary_16 ..bits_16 /.size_16 binary.has_16!] + [binary_32 ..bits_32 /.size_32 binary.has_32!] + [binary_64 ..bits_64 /.size_64 binary.has_64!] ) (template [<name> <binary>] @@ -169,13 +169,13 @@ (Writer Text) (|>> (# utf8.codec encoded) <binary>))] - [utf8/8 ..binary/8] - [utf8/16 ..binary/16] - [utf8/32 ..binary/32] - [utf8/64 ..binary/64] + [utf8_8 ..binary_8] + [utf8_16 ..binary_16] + [utf8_32 ..binary_32] + [utf8_64 ..binary_64] ) -(def: .public text ..utf8/64) +(def: .public text ..utf8_64) (template [<name> <size> <write>] [(def: .public (<name> valueW) @@ -201,10 +201,10 @@ [_ (<write> offset capped_count binary)] (in (mutation [(n.+ <size> offset) binary])))))])))] - [sequence/8 /.size/8 binary.has/1!] - [sequence/16 /.size/16 binary.has/2!] - [sequence/32 /.size/32 binary.has/4!] - [sequence/64 /.size/64 binary.has/8!] + [sequence_8 /.size_8 binary.has_8!] + [sequence_16 /.size_16 binary.has_16!] + [sequence_32 /.size_32 binary.has_32!] + [sequence_64 /.size_64 binary.has_64!] ) (def: .public maybe @@ -240,7 +240,7 @@ [(.++ caseS) (function (_ [offset binary]) (|> binary - (binary.has/1! offset <number>) + (binary.has_8! offset <number>) try.trusted [(.++ offset)] caseT))])]) @@ -275,7 +275,7 @@ [(.++ caseS) (function (_ [offset binary]) (|> binary - (binary.has/1! offset <number>) + (binary.has_8! offset <number>) try.trusted [(.++ offset)] caseT))])]) |