Tools for manipulating type-level bytes and bytestrings.

Please see README.md.

type-level-bytestrings

Assorted utilities concerning type-level bytestrings:

• reifying type-level Naturals to bytes
• converting type-level Symbols to UTF8

Doesn't work on GHC 9.2 due to some issue with TypeError.

License

Provided under the MIT license. See LICENSE for license text.