https://github.com/raehik/type-level-bytestrings

Tools for manipulating type-level bytes and bytestrings
https://github.com/raehik/type-level-bytestrings

Last synced: about 2 months ago
JSON representation

Tools for manipulating type-level bytes and bytestrings

• Host: GitHub
• URL: https://github.com/raehik/type-level-bytestrings
• Owner: raehik
• License: mit
• Created: 2024-04-12T23:21:16.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2024-05-25T17:06:08.000Z (8 months ago)
• Last Synced: 2024-06-11T18:32:39.449Z (7 months ago)
• Language: Haskell
• Size: 23.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# type-level-bytestrings

Assorted utilities concerning type-level bytestrings:

* reifying type-level `Natural`s to bytes

* converting type-level `Symbol`s 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.