aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/target/jvm/encoding/unsigned.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/target/jvm/encoding/unsigned.lux')
-rw-r--r--stdlib/source/lux/target/jvm/encoding/unsigned.lux17
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]
)