aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/format/binary.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/data/format/binary.lux58
1 files changed, 29 insertions, 29 deletions
diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux
index 4ddbf3e26..4d0eb7b57 100644
--- a/stdlib/source/library/lux/data/format/binary.lux
+++ b/stdlib/source/library/lux/data/format/binary.lux
@@ -1,32 +1,32 @@
(.using
- [library
- [lux {"-" and or nat int rev list type symbol}
- [abstract
- [monoid {"+" Monoid}]
- [monad {"+" Monad do}]
- [equivalence {"+" Equivalence}]]
- [control
- [pipe {"+" case>}]
- ["[0]" function]
- ["[0]" try {"+" Try}]
- ["<>" parser ("[1]#[0]" monad)
- ["/" binary {"+" Offset Size Parser}]]]
- [data
- ["[0]" product]
- ["[0]" binary {"+" Binary}]
- [text
- ["%" format {"+" format}]
- [encoding
- ["[0]" utf8]]]
- [collection
- ["[0]" list]
- ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor)]
- ["[0]" set {"+" Set}]]]
- [math
- [number
- ["[0]" i64]
- ["n" nat]
- ["[0]" frac]]]]])
+ [library
+ [lux {"-" and or nat int rev list type symbol}
+ [abstract
+ [monoid {"+" Monoid}]
+ [monad {"+" Monad do}]
+ [equivalence {"+" Equivalence}]]
+ [control
+ ["[0]" pipe]
+ ["[0]" function]
+ ["[0]" try {"+" Try}]
+ ["<>" parser ("[1]#[0]" monad)
+ ["/" binary {"+" Offset Size Parser}]]]
+ [data
+ ["[0]" product]
+ ["[0]" binary {"+" Binary}]
+ [text
+ ["%" format {"+" format}]
+ [encoding
+ ["[0]" utf8]]]
+ [collection
+ ["[0]" list]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" functor)]
+ ["[0]" set {"+" Set}]]]
+ [math
+ [number
+ ["[0]" i64]
+ ["n" nat]
+ ["[0]" frac]]]]])
(def: mask
(-> Size (I64 Any))
@@ -114,7 +114,7 @@
(def: .public bit
(Writer Bit)
- (|>> (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)]