diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/format/binary.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux index 290996b4e..b64b061f3 100644 --- a/stdlib/source/library/lux/data/format/binary.lux +++ b/stdlib/source/library/lux/data/format/binary.lux @@ -61,15 +61,15 @@ (-> Specification Binary) (|> size /.empty [0] mutation product.right)) -(implementation: .public monoid +(def: .public monoid (Monoid Specification) - - (def: identity - ..no_op) - - (def: (composite [sizeL mutL] [sizeR mutR]) - [(n#+ sizeL sizeR) - (|>> mutL mutR)])) + (implementation + (def: identity + ..no_op) + + (def: (composite [sizeL mutL] [sizeR mutR]) + [(n#+ sizeL sizeR) + (|>> mutL mutR)]))) (type: .public (Writer a) (-> a Specification)) |