binrep-0.3.0: src/Binrep/Type/Byte.hs
{- | 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 'Natural's, 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', 'B.ByteString')
respectively.
Type-level functionality is stored in 'Binrep.Type.Byte.TypeLevel' because the
definitions are even sillier than the ones here.
Do not use this on the term level. That would be _extremely_ silly.
-}
{-# LANGUAGE AllowAmbiguousTypes, UndecidableInstances #-}
module Binrep.Type.Byte where
import Mason.Builder qualified as Mason
import Data.ByteString.Builder.Prim.Internal qualified as BI
import Binrep.Util ( natVal'' )
import Binrep.Put ( Builder )
import GHC.TypeNats
import GHC.Exts
-- Needs to be a function type to work. Interesting. It's perhaps not an
-- improvement on regular boxed. But interesting idea, so sticking with it.
class ByteVal (n :: Natural) where byteVal :: Proxy# n -> Word8#
instance ByteVal 0x00 where
byteVal _ = wordToWord8# 0x00##
{-# INLINE byteVal #-}
instance ByteVal 0x01 where
byteVal _ = wordToWord8# 0x01##
{-# INLINE byteVal #-}
instance ByteVal 0x02 where
byteVal _ = wordToWord8# 0x02##
{-# INLINE byteVal #-}
instance ByteVal 0x03 where
byteVal _ = wordToWord8# 0x03##
{-# INLINE byteVal #-}
instance ByteVal 0x04 where
byteVal _ = wordToWord8# 0x04##
{-# INLINE byteVal #-}
instance ByteVal 0x05 where
byteVal _ = wordToWord8# 0x05##
{-# INLINE byteVal #-}
instance ByteVal 0x06 where
byteVal _ = wordToWord8# 0x06##
{-# INLINE byteVal #-}
instance ByteVal 0x07 where
byteVal _ = wordToWord8# 0x07##
{-# INLINE byteVal #-}
instance ByteVal 0x08 where
byteVal _ = wordToWord8# 0x08##
{-# INLINE byteVal #-}
instance ByteVal 0x09 where
byteVal _ = wordToWord8# 0x09##
{-# INLINE byteVal #-}
instance ByteVal 0x0a where
byteVal _ = wordToWord8# 0x0a##
{-# INLINE byteVal #-}
instance ByteVal 0x0b where
byteVal _ = wordToWord8# 0x0b##
{-# INLINE byteVal #-}
instance ByteVal 0x0c where
byteVal _ = wordToWord8# 0x0c##
{-# INLINE byteVal #-}
instance ByteVal 0x0d where
byteVal _ = wordToWord8# 0x0d##
{-# INLINE byteVal #-}
instance ByteVal 0x0e where
byteVal _ = wordToWord8# 0x0e##
{-# INLINE byteVal #-}
instance ByteVal 0x0f where
byteVal _ = wordToWord8# 0x0f##
{-# INLINE byteVal #-}
instance ByteVal 0x10 where
byteVal _ = wordToWord8# 0x10##
{-# INLINE byteVal #-}
instance ByteVal 0x11 where
byteVal _ = wordToWord8# 0x11##
{-# INLINE byteVal #-}
instance ByteVal 0x12 where
byteVal _ = wordToWord8# 0x12##
{-# INLINE byteVal #-}
instance ByteVal 0x13 where
byteVal _ = wordToWord8# 0x13##
{-# INLINE byteVal #-}
instance ByteVal 0x14 where
byteVal _ = wordToWord8# 0x14##
{-# INLINE byteVal #-}
instance ByteVal 0x15 where
byteVal _ = wordToWord8# 0x15##
{-# INLINE byteVal #-}
instance ByteVal 0x16 where
byteVal _ = wordToWord8# 0x16##
{-# INLINE byteVal #-}
instance ByteVal 0x17 where
byteVal _ = wordToWord8# 0x17##
{-# INLINE byteVal #-}
instance ByteVal 0x18 where
byteVal _ = wordToWord8# 0x18##
{-# INLINE byteVal #-}
instance ByteVal 0x19 where
byteVal _ = wordToWord8# 0x19##
{-# INLINE byteVal #-}
instance ByteVal 0x1a where
byteVal _ = wordToWord8# 0x1a##
{-# INLINE byteVal #-}
instance ByteVal 0x1b where
byteVal _ = wordToWord8# 0x1b##
{-# INLINE byteVal #-}
instance ByteVal 0x1c where
byteVal _ = wordToWord8# 0x1c##
{-# INLINE byteVal #-}
instance ByteVal 0x1d where
byteVal _ = wordToWord8# 0x1d##
{-# INLINE byteVal #-}
instance ByteVal 0x1e where
byteVal _ = wordToWord8# 0x1e##
{-# INLINE byteVal #-}
instance ByteVal 0x1f where
byteVal _ = wordToWord8# 0x1f##
{-# INLINE byteVal #-}
instance ByteVal 0x20 where
byteVal _ = wordToWord8# 0x20##
{-# INLINE byteVal #-}
instance ByteVal 0x21 where
byteVal _ = wordToWord8# 0x21##
{-# INLINE byteVal #-}
instance ByteVal 0x22 where
byteVal _ = wordToWord8# 0x22##
{-# INLINE byteVal #-}
instance ByteVal 0x23 where
byteVal _ = wordToWord8# 0x23##
{-# INLINE byteVal #-}
instance ByteVal 0x24 where
byteVal _ = wordToWord8# 0x24##
{-# INLINE byteVal #-}
instance ByteVal 0x25 where
byteVal _ = wordToWord8# 0x25##
{-# INLINE byteVal #-}
instance ByteVal 0x26 where
byteVal _ = wordToWord8# 0x26##
{-# INLINE byteVal #-}
instance ByteVal 0x27 where
byteVal _ = wordToWord8# 0x27##
{-# INLINE byteVal #-}
instance ByteVal 0x28 where
byteVal _ = wordToWord8# 0x28##
{-# INLINE byteVal #-}
instance ByteVal 0x29 where
byteVal _ = wordToWord8# 0x29##
{-# INLINE byteVal #-}
instance ByteVal 0x2a where
byteVal _ = wordToWord8# 0x2a##
{-# INLINE byteVal #-}
instance ByteVal 0x2b where
byteVal _ = wordToWord8# 0x2b##
{-# INLINE byteVal #-}
instance ByteVal 0x2c where
byteVal _ = wordToWord8# 0x2c##
{-# INLINE byteVal #-}
instance ByteVal 0x2d where
byteVal _ = wordToWord8# 0x2d##
{-# INLINE byteVal #-}
instance ByteVal 0x2e where
byteVal _ = wordToWord8# 0x2e##
{-# INLINE byteVal #-}
instance ByteVal 0x2f where
byteVal _ = wordToWord8# 0x2f##
{-# INLINE byteVal #-}
instance ByteVal 0x30 where
byteVal _ = wordToWord8# 0x30##
{-# INLINE byteVal #-}
instance ByteVal 0x31 where
byteVal _ = wordToWord8# 0x31##
{-# INLINE byteVal #-}
instance ByteVal 0x32 where
byteVal _ = wordToWord8# 0x32##
{-# INLINE byteVal #-}
instance ByteVal 0x33 where
byteVal _ = wordToWord8# 0x33##
{-# INLINE byteVal #-}
instance ByteVal 0x34 where
byteVal _ = wordToWord8# 0x34##
{-# INLINE byteVal #-}
instance ByteVal 0x35 where
byteVal _ = wordToWord8# 0x35##
{-# INLINE byteVal #-}
instance ByteVal 0x36 where
byteVal _ = wordToWord8# 0x36##
{-# INLINE byteVal #-}
instance ByteVal 0x37 where
byteVal _ = wordToWord8# 0x37##
{-# INLINE byteVal #-}
instance ByteVal 0x38 where
byteVal _ = wordToWord8# 0x38##
{-# INLINE byteVal #-}
instance ByteVal 0x39 where
byteVal _ = wordToWord8# 0x39##
{-# INLINE byteVal #-}
instance ByteVal 0x3a where
byteVal _ = wordToWord8# 0x3a##
{-# INLINE byteVal #-}
instance ByteVal 0x3b where
byteVal _ = wordToWord8# 0x3b##
{-# INLINE byteVal #-}
instance ByteVal 0x3c where
byteVal _ = wordToWord8# 0x3c##
{-# INLINE byteVal #-}
instance ByteVal 0x3d where
byteVal _ = wordToWord8# 0x3d##
{-# INLINE byteVal #-}
instance ByteVal 0x3e where
byteVal _ = wordToWord8# 0x3e##
{-# INLINE byteVal #-}
instance ByteVal 0x3f where
byteVal _ = wordToWord8# 0x3f##
{-# INLINE byteVal #-}
instance ByteVal 0x40 where
byteVal _ = wordToWord8# 0x40##
{-# INLINE byteVal #-}
instance ByteVal 0x41 where
byteVal _ = wordToWord8# 0x41##
{-# INLINE byteVal #-}
instance ByteVal 0x42 where
byteVal _ = wordToWord8# 0x42##
{-# INLINE byteVal #-}
instance ByteVal 0x43 where
byteVal _ = wordToWord8# 0x43##
{-# INLINE byteVal #-}
instance ByteVal 0x44 where
byteVal _ = wordToWord8# 0x44##
{-# INLINE byteVal #-}
instance ByteVal 0x45 where
byteVal _ = wordToWord8# 0x45##
{-# INLINE byteVal #-}
instance ByteVal 0x46 where
byteVal _ = wordToWord8# 0x46##
{-# INLINE byteVal #-}
instance ByteVal 0x47 where
byteVal _ = wordToWord8# 0x47##
{-# INLINE byteVal #-}
instance ByteVal 0x48 where
byteVal _ = wordToWord8# 0x48##
{-# INLINE byteVal #-}
instance ByteVal 0x49 where
byteVal _ = wordToWord8# 0x49##
{-# INLINE byteVal #-}
instance ByteVal 0x4a where
byteVal _ = wordToWord8# 0x4a##
{-# INLINE byteVal #-}
instance ByteVal 0x4b where
byteVal _ = wordToWord8# 0x4b##
{-# INLINE byteVal #-}
instance ByteVal 0x4c where
byteVal _ = wordToWord8# 0x4c##
{-# INLINE byteVal #-}
instance ByteVal 0x4d where
byteVal _ = wordToWord8# 0x4d##
{-# INLINE byteVal #-}
instance ByteVal 0x4e where
byteVal _ = wordToWord8# 0x4e##
{-# INLINE byteVal #-}
instance ByteVal 0x4f where
byteVal _ = wordToWord8# 0x4f##
{-# INLINE byteVal #-}
instance ByteVal 0x50 where
byteVal _ = wordToWord8# 0x50##
{-# INLINE byteVal #-}
instance ByteVal 0x51 where
byteVal _ = wordToWord8# 0x51##
{-# INLINE byteVal #-}
instance ByteVal 0x52 where
byteVal _ = wordToWord8# 0x52##
{-# INLINE byteVal #-}
instance ByteVal 0x53 where
byteVal _ = wordToWord8# 0x53##
{-# INLINE byteVal #-}
instance ByteVal 0x54 where
byteVal _ = wordToWord8# 0x54##
{-# INLINE byteVal #-}
instance ByteVal 0x55 where
byteVal _ = wordToWord8# 0x55##
{-# INLINE byteVal #-}
instance ByteVal 0x56 where
byteVal _ = wordToWord8# 0x56##
{-# INLINE byteVal #-}
instance ByteVal 0x57 where
byteVal _ = wordToWord8# 0x57##
{-# INLINE byteVal #-}
instance ByteVal 0x58 where
byteVal _ = wordToWord8# 0x58##
{-# INLINE byteVal #-}
instance ByteVal 0x59 where
byteVal _ = wordToWord8# 0x59##
{-# INLINE byteVal #-}
instance ByteVal 0x5a where
byteVal _ = wordToWord8# 0x5a##
{-# INLINE byteVal #-}
instance ByteVal 0x5b where
byteVal _ = wordToWord8# 0x5b##
{-# INLINE byteVal #-}
instance ByteVal 0x5c where
byteVal _ = wordToWord8# 0x5c##
{-# INLINE byteVal #-}
instance ByteVal 0x5d where
byteVal _ = wordToWord8# 0x5d##
{-# INLINE byteVal #-}
instance ByteVal 0x5e where
byteVal _ = wordToWord8# 0x5e##
{-# INLINE byteVal #-}
instance ByteVal 0x5f where
byteVal _ = wordToWord8# 0x5f##
{-# INLINE byteVal #-}
instance ByteVal 0x60 where
byteVal _ = wordToWord8# 0x60##
{-# INLINE byteVal #-}
instance ByteVal 0x61 where
byteVal _ = wordToWord8# 0x61##
{-# INLINE byteVal #-}
instance ByteVal 0x62 where
byteVal _ = wordToWord8# 0x62##
{-# INLINE byteVal #-}
instance ByteVal 0x63 where
byteVal _ = wordToWord8# 0x63##
{-# INLINE byteVal #-}
instance ByteVal 0x64 where
byteVal _ = wordToWord8# 0x64##
{-# INLINE byteVal #-}
instance ByteVal 0x65 where
byteVal _ = wordToWord8# 0x65##
{-# INLINE byteVal #-}
instance ByteVal 0x66 where
byteVal _ = wordToWord8# 0x66##
{-# INLINE byteVal #-}
instance ByteVal 0x67 where
byteVal _ = wordToWord8# 0x67##
{-# INLINE byteVal #-}
instance ByteVal 0x68 where
byteVal _ = wordToWord8# 0x68##
{-# INLINE byteVal #-}
instance ByteVal 0x69 where
byteVal _ = wordToWord8# 0x69##
{-# INLINE byteVal #-}
instance ByteVal 0x6a where
byteVal _ = wordToWord8# 0x6a##
{-# INLINE byteVal #-}
instance ByteVal 0x6b where
byteVal _ = wordToWord8# 0x6b##
{-# INLINE byteVal #-}
instance ByteVal 0x6c where
byteVal _ = wordToWord8# 0x6c##
{-# INLINE byteVal #-}
instance ByteVal 0x6d where
byteVal _ = wordToWord8# 0x6d##
{-# INLINE byteVal #-}
instance ByteVal 0x6e where
byteVal _ = wordToWord8# 0x6e##
{-# INLINE byteVal #-}
instance ByteVal 0x6f where
byteVal _ = wordToWord8# 0x6f##
{-# INLINE byteVal #-}
instance ByteVal 0x70 where
byteVal _ = wordToWord8# 0x70##
{-# INLINE byteVal #-}
instance ByteVal 0x71 where
byteVal _ = wordToWord8# 0x71##
{-# INLINE byteVal #-}
instance ByteVal 0x72 where
byteVal _ = wordToWord8# 0x72##
{-# INLINE byteVal #-}
instance ByteVal 0x73 where
byteVal _ = wordToWord8# 0x73##
{-# INLINE byteVal #-}
instance ByteVal 0x74 where
byteVal _ = wordToWord8# 0x74##
{-# INLINE byteVal #-}
instance ByteVal 0x75 where
byteVal _ = wordToWord8# 0x75##
{-# INLINE byteVal #-}
instance ByteVal 0x76 where
byteVal _ = wordToWord8# 0x76##
{-# INLINE byteVal #-}
instance ByteVal 0x77 where
byteVal _ = wordToWord8# 0x77##
{-# INLINE byteVal #-}
instance ByteVal 0x78 where
byteVal _ = wordToWord8# 0x78##
{-# INLINE byteVal #-}
instance ByteVal 0x79 where
byteVal _ = wordToWord8# 0x79##
{-# INLINE byteVal #-}
instance ByteVal 0x7a where
byteVal _ = wordToWord8# 0x7a##
{-# INLINE byteVal #-}
instance ByteVal 0x7b where
byteVal _ = wordToWord8# 0x7b##
{-# INLINE byteVal #-}
instance ByteVal 0x7c where
byteVal _ = wordToWord8# 0x7c##
{-# INLINE byteVal #-}
instance ByteVal 0x7d where
byteVal _ = wordToWord8# 0x7d##
{-# INLINE byteVal #-}
instance ByteVal 0x7e where
byteVal _ = wordToWord8# 0x7e##
{-# INLINE byteVal #-}
instance ByteVal 0x7f where
byteVal _ = wordToWord8# 0x7f##
{-# INLINE byteVal #-}
instance ByteVal 0x80 where
byteVal _ = wordToWord8# 0x80##
{-# INLINE byteVal #-}
instance ByteVal 0x81 where
byteVal _ = wordToWord8# 0x81##
{-# INLINE byteVal #-}
instance ByteVal 0x82 where
byteVal _ = wordToWord8# 0x82##
{-# INLINE byteVal #-}
instance ByteVal 0x83 where
byteVal _ = wordToWord8# 0x83##
{-# INLINE byteVal #-}
instance ByteVal 0x84 where
byteVal _ = wordToWord8# 0x84##
{-# INLINE byteVal #-}
instance ByteVal 0x85 where
byteVal _ = wordToWord8# 0x85##
{-# INLINE byteVal #-}
instance ByteVal 0x86 where
byteVal _ = wordToWord8# 0x86##
{-# INLINE byteVal #-}
instance ByteVal 0x87 where
byteVal _ = wordToWord8# 0x87##
{-# INLINE byteVal #-}
instance ByteVal 0x88 where
byteVal _ = wordToWord8# 0x88##
{-# INLINE byteVal #-}
instance ByteVal 0x89 where
byteVal _ = wordToWord8# 0x89##
{-# INLINE byteVal #-}
instance ByteVal 0x8a where
byteVal _ = wordToWord8# 0x8a##
{-# INLINE byteVal #-}
instance ByteVal 0x8b where
byteVal _ = wordToWord8# 0x8b##
{-# INLINE byteVal #-}
instance ByteVal 0x8c where
byteVal _ = wordToWord8# 0x8c##
{-# INLINE byteVal #-}
instance ByteVal 0x8d where
byteVal _ = wordToWord8# 0x8d##
{-# INLINE byteVal #-}
instance ByteVal 0x8e where
byteVal _ = wordToWord8# 0x8e##
{-# INLINE byteVal #-}
instance ByteVal 0x8f where
byteVal _ = wordToWord8# 0x8f##
{-# INLINE byteVal #-}
instance ByteVal 0x90 where
byteVal _ = wordToWord8# 0x90##
{-# INLINE byteVal #-}
instance ByteVal 0x91 where
byteVal _ = wordToWord8# 0x91##
{-# INLINE byteVal #-}
instance ByteVal 0x92 where
byteVal _ = wordToWord8# 0x92##
{-# INLINE byteVal #-}
instance ByteVal 0x93 where
byteVal _ = wordToWord8# 0x93##
{-# INLINE byteVal #-}
instance ByteVal 0x94 where
byteVal _ = wordToWord8# 0x94##
{-# INLINE byteVal #-}
instance ByteVal 0x95 where
byteVal _ = wordToWord8# 0x95##
{-# INLINE byteVal #-}
instance ByteVal 0x96 where
byteVal _ = wordToWord8# 0x96##
{-# INLINE byteVal #-}
instance ByteVal 0x97 where
byteVal _ = wordToWord8# 0x97##
{-# INLINE byteVal #-}
instance ByteVal 0x98 where
byteVal _ = wordToWord8# 0x98##
{-# INLINE byteVal #-}
instance ByteVal 0x99 where
byteVal _ = wordToWord8# 0x99##
{-# INLINE byteVal #-}
instance ByteVal 0x9a where
byteVal _ = wordToWord8# 0x9a##
{-# INLINE byteVal #-}
instance ByteVal 0x9b where
byteVal _ = wordToWord8# 0x9b##
{-# INLINE byteVal #-}
instance ByteVal 0x9c where
byteVal _ = wordToWord8# 0x9c##
{-# INLINE byteVal #-}
instance ByteVal 0x9d where
byteVal _ = wordToWord8# 0x9d##
{-# INLINE byteVal #-}
instance ByteVal 0x9e where
byteVal _ = wordToWord8# 0x9e##
{-# INLINE byteVal #-}
instance ByteVal 0x9f where
byteVal _ = wordToWord8# 0x9f##
{-# INLINE byteVal #-}
instance ByteVal 0xa0 where
byteVal _ = wordToWord8# 0xa0##
{-# INLINE byteVal #-}
instance ByteVal 0xa1 where
byteVal _ = wordToWord8# 0xa1##
{-# INLINE byteVal #-}
instance ByteVal 0xa2 where
byteVal _ = wordToWord8# 0xa2##
{-# INLINE byteVal #-}
instance ByteVal 0xa3 where
byteVal _ = wordToWord8# 0xa3##
{-# INLINE byteVal #-}
instance ByteVal 0xa4 where
byteVal _ = wordToWord8# 0xa4##
{-# INLINE byteVal #-}
instance ByteVal 0xa5 where
byteVal _ = wordToWord8# 0xa5##
{-# INLINE byteVal #-}
instance ByteVal 0xa6 where
byteVal _ = wordToWord8# 0xa6##
{-# INLINE byteVal #-}
instance ByteVal 0xa7 where
byteVal _ = wordToWord8# 0xa7##
{-# INLINE byteVal #-}
instance ByteVal 0xa8 where
byteVal _ = wordToWord8# 0xa8##
{-# INLINE byteVal #-}
instance ByteVal 0xa9 where
byteVal _ = wordToWord8# 0xa9##
{-# INLINE byteVal #-}
instance ByteVal 0xaa where
byteVal _ = wordToWord8# 0xaa##
{-# INLINE byteVal #-}
instance ByteVal 0xab where
byteVal _ = wordToWord8# 0xab##
{-# INLINE byteVal #-}
instance ByteVal 0xac where
byteVal _ = wordToWord8# 0xac##
{-# INLINE byteVal #-}
instance ByteVal 0xad where
byteVal _ = wordToWord8# 0xad##
{-# INLINE byteVal #-}
instance ByteVal 0xae where
byteVal _ = wordToWord8# 0xae##
{-# INLINE byteVal #-}
instance ByteVal 0xaf where
byteVal _ = wordToWord8# 0xaf##
{-# INLINE byteVal #-}
instance ByteVal 0xb0 where
byteVal _ = wordToWord8# 0xb0##
{-# INLINE byteVal #-}
instance ByteVal 0xb1 where
byteVal _ = wordToWord8# 0xb1##
{-# INLINE byteVal #-}
instance ByteVal 0xb2 where
byteVal _ = wordToWord8# 0xb2##
{-# INLINE byteVal #-}
instance ByteVal 0xb3 where
byteVal _ = wordToWord8# 0xb3##
{-# INLINE byteVal #-}
instance ByteVal 0xb4 where
byteVal _ = wordToWord8# 0xb4##
{-# INLINE byteVal #-}
instance ByteVal 0xb5 where
byteVal _ = wordToWord8# 0xb5##
{-# INLINE byteVal #-}
instance ByteVal 0xb6 where
byteVal _ = wordToWord8# 0xb6##
{-# INLINE byteVal #-}
instance ByteVal 0xb7 where
byteVal _ = wordToWord8# 0xb7##
{-# INLINE byteVal #-}
instance ByteVal 0xb8 where
byteVal _ = wordToWord8# 0xb8##
{-# INLINE byteVal #-}
instance ByteVal 0xb9 where
byteVal _ = wordToWord8# 0xb9##
{-# INLINE byteVal #-}
instance ByteVal 0xba where
byteVal _ = wordToWord8# 0xba##
{-# INLINE byteVal #-}
instance ByteVal 0xbb where
byteVal _ = wordToWord8# 0xbb##
{-# INLINE byteVal #-}
instance ByteVal 0xbc where
byteVal _ = wordToWord8# 0xbc##
{-# INLINE byteVal #-}
instance ByteVal 0xbd where
byteVal _ = wordToWord8# 0xbd##
{-# INLINE byteVal #-}
instance ByteVal 0xbe where
byteVal _ = wordToWord8# 0xbe##
{-# INLINE byteVal #-}
instance ByteVal 0xbf where
byteVal _ = wordToWord8# 0xbf##
{-# INLINE byteVal #-}
instance ByteVal 0xc0 where
byteVal _ = wordToWord8# 0xc0##
{-# INLINE byteVal #-}
instance ByteVal 0xc1 where
byteVal _ = wordToWord8# 0xc1##
{-# INLINE byteVal #-}
instance ByteVal 0xc2 where
byteVal _ = wordToWord8# 0xc2##
{-# INLINE byteVal #-}
instance ByteVal 0xc3 where
byteVal _ = wordToWord8# 0xc3##
{-# INLINE byteVal #-}
instance ByteVal 0xc4 where
byteVal _ = wordToWord8# 0xc4##
{-# INLINE byteVal #-}
instance ByteVal 0xc5 where
byteVal _ = wordToWord8# 0xc5##
{-# INLINE byteVal #-}
instance ByteVal 0xc6 where
byteVal _ = wordToWord8# 0xc6##
{-# INLINE byteVal #-}
instance ByteVal 0xc7 where
byteVal _ = wordToWord8# 0xc7##
{-# INLINE byteVal #-}
instance ByteVal 0xc8 where
byteVal _ = wordToWord8# 0xc8##
{-# INLINE byteVal #-}
instance ByteVal 0xc9 where
byteVal _ = wordToWord8# 0xc9##
{-# INLINE byteVal #-}
instance ByteVal 0xca where
byteVal _ = wordToWord8# 0xca##
{-# INLINE byteVal #-}
instance ByteVal 0xcb where
byteVal _ = wordToWord8# 0xcb##
{-# INLINE byteVal #-}
instance ByteVal 0xcc where
byteVal _ = wordToWord8# 0xcc##
{-# INLINE byteVal #-}
instance ByteVal 0xcd where
byteVal _ = wordToWord8# 0xcd##
{-# INLINE byteVal #-}
instance ByteVal 0xce where
byteVal _ = wordToWord8# 0xce##
{-# INLINE byteVal #-}
instance ByteVal 0xcf where
byteVal _ = wordToWord8# 0xcf##
{-# INLINE byteVal #-}
instance ByteVal 0xd0 where
byteVal _ = wordToWord8# 0xd0##
{-# INLINE byteVal #-}
instance ByteVal 0xd1 where
byteVal _ = wordToWord8# 0xd1##
{-# INLINE byteVal #-}
instance ByteVal 0xd2 where
byteVal _ = wordToWord8# 0xd2##
{-# INLINE byteVal #-}
instance ByteVal 0xd3 where
byteVal _ = wordToWord8# 0xd3##
{-# INLINE byteVal #-}
instance ByteVal 0xd4 where
byteVal _ = wordToWord8# 0xd4##
{-# INLINE byteVal #-}
instance ByteVal 0xd5 where
byteVal _ = wordToWord8# 0xd5##
{-# INLINE byteVal #-}
instance ByteVal 0xd6 where
byteVal _ = wordToWord8# 0xd6##
{-# INLINE byteVal #-}
instance ByteVal 0xd7 where
byteVal _ = wordToWord8# 0xd7##
{-# INLINE byteVal #-}
instance ByteVal 0xd8 where
byteVal _ = wordToWord8# 0xd8##
{-# INLINE byteVal #-}
instance ByteVal 0xd9 where
byteVal _ = wordToWord8# 0xd9##
{-# INLINE byteVal #-}
instance ByteVal 0xda where
byteVal _ = wordToWord8# 0xda##
{-# INLINE byteVal #-}
instance ByteVal 0xdb where
byteVal _ = wordToWord8# 0xdb##
{-# INLINE byteVal #-}
instance ByteVal 0xdc where
byteVal _ = wordToWord8# 0xdc##
{-# INLINE byteVal #-}
instance ByteVal 0xdd where
byteVal _ = wordToWord8# 0xdd##
{-# INLINE byteVal #-}
instance ByteVal 0xde where
byteVal _ = wordToWord8# 0xde##
{-# INLINE byteVal #-}
instance ByteVal 0xdf where
byteVal _ = wordToWord8# 0xdf##
{-# INLINE byteVal #-}
instance ByteVal 0xe0 where
byteVal _ = wordToWord8# 0xe0##
{-# INLINE byteVal #-}
instance ByteVal 0xe1 where
byteVal _ = wordToWord8# 0xe1##
{-# INLINE byteVal #-}
instance ByteVal 0xe2 where
byteVal _ = wordToWord8# 0xe2##
{-# INLINE byteVal #-}
instance ByteVal 0xe3 where
byteVal _ = wordToWord8# 0xe3##
{-# INLINE byteVal #-}
instance ByteVal 0xe4 where
byteVal _ = wordToWord8# 0xe4##
{-# INLINE byteVal #-}
instance ByteVal 0xe5 where
byteVal _ = wordToWord8# 0xe5##
{-# INLINE byteVal #-}
instance ByteVal 0xe6 where
byteVal _ = wordToWord8# 0xe6##
{-# INLINE byteVal #-}
instance ByteVal 0xe7 where
byteVal _ = wordToWord8# 0xe7##
{-# INLINE byteVal #-}
instance ByteVal 0xe8 where
byteVal _ = wordToWord8# 0xe8##
{-# INLINE byteVal #-}
instance ByteVal 0xe9 where
byteVal _ = wordToWord8# 0xe9##
{-# INLINE byteVal #-}
instance ByteVal 0xea where
byteVal _ = wordToWord8# 0xea##
{-# INLINE byteVal #-}
instance ByteVal 0xeb where
byteVal _ = wordToWord8# 0xeb##
{-# INLINE byteVal #-}
instance ByteVal 0xec where
byteVal _ = wordToWord8# 0xec##
{-# INLINE byteVal #-}
instance ByteVal 0xed where
byteVal _ = wordToWord8# 0xed##
{-# INLINE byteVal #-}
instance ByteVal 0xee where
byteVal _ = wordToWord8# 0xee##
{-# INLINE byteVal #-}
instance ByteVal 0xef where
byteVal _ = wordToWord8# 0xef##
{-# INLINE byteVal #-}
instance ByteVal 0xf0 where
byteVal _ = wordToWord8# 0xf0##
{-# INLINE byteVal #-}
instance ByteVal 0xf1 where
byteVal _ = wordToWord8# 0xf1##
{-# INLINE byteVal #-}
instance ByteVal 0xf2 where
byteVal _ = wordToWord8# 0xf2##
{-# INLINE byteVal #-}
instance ByteVal 0xf3 where
byteVal _ = wordToWord8# 0xf3##
{-# INLINE byteVal #-}
instance ByteVal 0xf4 where
byteVal _ = wordToWord8# 0xf4##
{-# INLINE byteVal #-}
instance ByteVal 0xf5 where
byteVal _ = wordToWord8# 0xf5##
{-# INLINE byteVal #-}
instance ByteVal 0xf6 where
byteVal _ = wordToWord8# 0xf6##
{-# INLINE byteVal #-}
instance ByteVal 0xf7 where
byteVal _ = wordToWord8# 0xf7##
{-# INLINE byteVal #-}
instance ByteVal 0xf8 where
byteVal _ = wordToWord8# 0xf8##
{-# INLINE byteVal #-}
instance ByteVal 0xf9 where
byteVal _ = wordToWord8# 0xf9##
{-# INLINE byteVal #-}
instance ByteVal 0xfa where
byteVal _ = wordToWord8# 0xfa##
{-# INLINE byteVal #-}
instance ByteVal 0xfb where
byteVal _ = wordToWord8# 0xfb##
{-# INLINE byteVal #-}
instance ByteVal 0xfc where
byteVal _ = wordToWord8# 0xfc##
{-# INLINE byteVal #-}
instance ByteVal 0xfd where
byteVal _ = wordToWord8# 0xfd##
{-# INLINE byteVal #-}
instance ByteVal 0xfe where
byteVal _ = wordToWord8# 0xfe##
{-# INLINE byteVal #-}
instance ByteVal 0xff where
byteVal _ = wordToWord8# 0xff##
{-# INLINE byteVal #-}
type family Length (a :: [k]) :: Natural where
Length '[] = 0
Length (a ': as) = 1 + Length as
-- | 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.
class ReifyBytes (ns :: [Natural]) where reifyBytes :: Builder
instance (n ~ Length ns, KnownNat n, WriteReifiedBytes ns) => ReifyBytes ns where
reifyBytes = Mason.primFixed (BI.fixedPrim (fromIntegral n) go) ()
where
n = natVal'' @n
go = \() (Ptr p#) -> writeReifiedBytes @ns p#
-- bit ugly
class WriteReifiedBytes (ns :: [Natural]) where writeReifiedBytes :: Addr# -> IO ()
instance WriteReifiedBytes '[] where writeReifiedBytes _ = pure ()
instance (ByteVal n, WriteReifiedBytes ns) => WriteReifiedBytes (n ': ns) where
writeReifiedBytes p# =
case runRW# (writeWord8OffAddr# p# 0# w#) of
_ -> writeReifiedBytes @ns (plusAddr# p# 1#)
where w# = byteVal @n proxy#