diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm/encoding/unsigned.lux | 17 |
1 files changed, 5 insertions, 12 deletions
diff --git a/stdlib/source/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/lux/target/jvm/encoding/unsigned.lux index 892d2f86d..b0b8ff312 100644 --- a/stdlib/source/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/lux/target/jvm/encoding/unsigned.lux @@ -3,9 +3,6 @@ [abstract [equivalence (#+ Equivalence)] [order (#+ Order)]] - [control - ["<>" parser ("#@." functor) - ["<2>" binary (#+ Parser)]]] [data [number ["." i64]] @@ -64,16 +61,12 @@ ) ) -(template [<parser-name> <writer-name> <type> <parser> <writer> <post-read>] - [(def: #export <parser-name> - (Parser <type>) - (<>@map (|>> .nat <post-read>) <parser>)) - - (def: #export <writer-name> +(template [<writer-name> <type> <writer>] + [(def: #export <writer-name> (Writer <type>) (|>> ..nat <writer>))] - [u1-parser u1-writer U1 <2>.bits/8 binaryF.bits/8 ..u1] - [u2-parser u2-writer U2 <2>.bits/16 binaryF.bits/16 ..u2] - [u4-parser u4-writer U4 <2>.bits/32 binaryF.bits/32 ..u4] + [u1-writer U1 binaryF.bits/8] + [u2-writer U2 binaryF.bits/16] + [u4-writer U4 binaryF.bits/32] ) |