Binrep.CBLen
class IsCBLen a Source #
Associated Types
type CBLen a :: Natural Source #
Defined in Binrep.CBLen
type CBLen Int16 :: Natural Source #
type CBLen Int32 :: Natural Source #
type CBLen Int64 :: Natural Source #
type CBLen Int8 :: Natural Source #
type CBLen Word16 :: Natural Source #
type CBLen Word32 :: Natural Source #
type CBLen Word64 :: Natural Source #
type CBLen Word8 :: Natural Source #
Defined in Binrep.Test
type CBLen DMagic :: Natural Source #
type CBLen () :: Natural Source #
The byte length of a magic is known at compile time.
Defined in Binrep.Type.Magic
type CBLen (Magic a) :: Natural Source #
Defined in Binrep.Type.NullPadded
type CBLen (NullPadded n a) :: Natural Source #
Defined in Binrep.Type.Prefix.Size
type CBLen (SizePrefixed pfx a) :: Natural Source #
Defined in Binrep.Type.Sized
type CBLen (Sized n a) :: Natural Source #
type CBLen (ByteOrdered end a) :: Natural Source #
type CBLen (l, r) :: Natural Source #
We can know byte length at compile time _if_ we know it for the prefix and the list-like.
This is extremely unlikely, because then what counting are we even performing for the list-like? But it's a valid instance.
Defined in Binrep.Type.Prefix.Count
type CBLen (CountPrefixed pfx f a) :: Natural Source #
cblen :: forall a. KnownNat (CBLen a) => Int Source #
Reify a type's constant byte length to the term level.
cblen# :: forall a. KnownNat (CBLen a) => Int# Source #
cblenProxy# :: forall a. KnownNat (CBLen a) => Proxy# a -> Int# Source #