add spaces to doc comments to format correctly when rendered

This commit is contained in:
Luke Boswell 2022-10-25 19:24:32 +11:00
parent c7e46df57d
commit d4d654f850
No known key found for this signature in database
GPG key ID: 0E908525B2C7BD68

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