[Agda] Serialization to ByteString

[Apostolis Xekoukoulotakis]

There is a Bytes Type in agda-prelude,
https://github.com/UlfNorell/agda-prelude/blob/2e3addb9a434ed121805fa571f1dd0a077076a29/src/Prelude/Bytes.agda

but there is no defined way to encode/decode a builtin type to/from Bytes.
Is there a way to perform the serialization with the builtin types or do I
have to define my own pragmas?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180225/cd94542e/attachment.html>