type-level-bytestrings

Tools for manipulating type-level bytes and bytestrings

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

Stackage Nightly 2024-06-04:0.2.0
Latest on Hackage:0.2.0

See all snapshots type-level-bytestrings appears in

MIT licensed by Ben Orchard
Maintained by Ben Orchard
This version can be pinned in stack with:type-level-bytestrings-0.2.0@sha256:ed0e55660e5872f819d900afa5588a6e0b37f923ad5e8d27b6c43eafb7cfc3d0,1851

Module documentation for 0.2.0

Depends on 2 packages(full list with versions):
base, defun-core

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.

Changes

0.2.0 (2024-05-07)

  • remove Symbol parsing; see symbol-parser for complete Symbol parser combinator library
  • various cleanup; now a very small library, just Natural-byte reification and Symbol UTF8 conversion

0.1.0 (2024-04-13)

Initial release.

  • new home for my type-level byte manipulation code