@hackage / type-level-bytestrings

Tools for manipulating type-level bytes and bytestrings

Latest0.2.0

About

Metadata

  • Last updated , by raehik
  • License MIT
  • Categories Type System

  • Maintained by: Ben Orchard <thefirstmuffinman@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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.