add space

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
This commit is contained in:
Anton-4 2022-10-25 10:00:09 +02:00 committed by GitHub
parent 01da174c2f
commit d342815494
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -7,12 +7,12 @@ interface Box
## optimization for advanced use cases with large values. A platform may require
## that some values are boxed.
##
## expect Box.unbox(Box.box "Stack Faster") == "Stack Faster"
## expect Box.unbox (Box.box "Stack Faster") == "Stack Faster"
box : a -> Box a
## Returns a boxed value.
##
## expect Box.unbox(Box.box "Stack Faster") == "Stack Faster"
## expect Box.unbox (Box.box "Stack Faster") == "Stack Faster"
unbox : Box a -> a
# # we'd need reset/reuse for box for this to be efficient
@ -22,4 +22,4 @@ unbox : Box a -> a
# boxed
# |> Box.unbox
# |> transform
# |> Box.box
# |> Box.box