bytezap-1.6.0: Bytestring builder with zero intermediate allocation
Safe HaskellNone
LanguageGHC2021

Bytezap.Poke.KnownLen

Description

Pokes with type-level poke length.

Documentation

newtype PokeKnownLen (len :: Natural) s Source #

Constructors

PokeKnownLen 

Fields

mappend' :: forall (n :: Natural) s (m :: Natural). PokeKnownLen n s -> PokeKnownLen m s -> PokeKnownLen (n + m) s Source #

mempty' :: PokeKnownLen 0 s Source #

runPokeKnownLenBS :: forall (n :: Nat). KnownNat n => PokeKnownLen n RealWorld -> ByteString Source #

prim :: Prim' a => a -> PokeKnownLen (SizeOf a) s Source #