bytezap-1.3.0: Bytestring builder with zero intermediate allocation
Safe HaskellSafe-Inferred
LanguageGHC2021

Bytezap.Poke.KnownLen

Description

Pokes with type-level poke length.

Documentation

newtype PokeKnownLen (len :: Natural) s Source #

Constructors

PokeKnownLen 

Fields

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

mempty' :: PokeKnownLen 0 s Source #

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

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