| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Binrep.Type.Byte
Description
Safe, if silly, byte representation for use at the type level.
Word8 is a special type that GHC doesn't (and I think can't) promote to the
type level. We only have Naturals, which are unbounded. So we define a safe,
promotable representation, to allow us to prove well-sizedness at compile time.
Then we provide a bunch of type families and reifying typeclasses to enable
going between "similar" kinds (Natural) and types (Word8, ByteString)
respectively.
Type-level functionality is stored in TypeLevel because the
definitions are even sillier than the ones here.
Do not use this on the term level. That would be _extremely_ silly.
Synopsis
- class ReifyBytes (ns :: [Natural]) where
- reifyBytes :: Poke
- class ByteVal (n :: Natural) where
Documentation
class ReifyBytes (ns :: [Natural]) where Source #
Efficiently reify a list of type-level Natural bytes to to a bytestring
builder.
Attempting to reify a Natural larger than 255 results in a type error.
This is about as far as one should go for pointless performance here, I should think.
Methods
reifyBytes :: Poke Source #
Instances
| ReifyBytes ('[] :: [Natural]) Source # | |
Defined in Binrep.Type.Byte Methods reifyBytes :: Poke Source # | |
| (ByteVal n, ReifyBytes ns) => ReifyBytes (n ': ns) Source # | |
Defined in Binrep.Type.Byte Methods reifyBytes :: Poke Source # | |
class ByteVal (n :: Natural) where Source #