diff options
Diffstat (limited to 'stdlib/source/library/lux/data/binary.lux')
-rw-r--r-- | stdlib/source/library/lux/data/binary.lux | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux index d39c1eff1..5290075eb 100644 --- a/stdlib/source/library/lux/data/binary.lux +++ b/stdlib/source/library/lux/data/binary.lux @@ -72,11 +72,11 @@ [has_64! /.has_64! (n.+ 7)] ) -(implementation: .public equivalence +(def: .public equivalence (Equivalence Binary) - - (def: (= reference sample) - (/.= reference sample))) + (implementation + (def: (= reference sample) + (/.= reference sample)))) (exception: .public (cannot_copy [bytes Nat source_input Nat @@ -122,17 +122,17 @@ ... else (/.empty 0))) -(implementation: .public monoid +(def: .public monoid (Monoid Binary) - - (def: identity - (/.empty 0)) - - (def: (composite left right) - (let [sizeL (/.size left) - sizeR (/.size right) - output (/.empty (n.+ sizeL sizeR))] - (exec - (/.copy! sizeL 0 left 0 output) - (/.copy! sizeR 0 right sizeL output) - output)))) + (implementation + (def: identity + (/.empty 0)) + + (def: (composite left right) + (let [sizeL (/.size left) + sizeR (/.size right) + output (/.empty (n.+ sizeL sizeR))] + (exec + (/.copy! sizeL 0 left 0 output) + (/.copy! sizeR 0 right sizeL output) + output))))) |