Binrep.Put.Struct
type PutterC = Poke RealWorld Source #
class PutC a where Source #
constant size putter
Methods
putC :: a -> PutterC Source #
Defined in Binrep.Put.Struct
putC :: Void -> PutterC Source #
8-bit (1-byte) words do not require byte order in order to precisely define their representation.
putC :: Int8 -> PutterC Source #
putC :: Word8 -> PutterC Source #
putC :: PutterC -> PutterC Source #
Defined in Binrep.Test
putC :: DMagic -> PutterC Source #
Unit type serializes to nothing. How zen.
putC :: () -> PutterC Source #
putC :: Identity a -> PutterC Source #
putC :: ViaPrim a -> PutterC Source #
putC :: Either a b -> PutterC Source #
Defined in Binrep.Type.Magic
putC :: Magic a -> PutterC Source #
Defined in Binrep.Type.NullPadded
putC :: NullPadded n a -> PutterC Source #
Defined in Binrep.Type.Sized
putC :: Sized n a -> PutterC Source #
putC :: ByteOrdered 'BigEndian a -> PutterC Source #
putC :: ByteOrdered 'LittleEndian a -> PutterC Source #
Byte order is irrelevant for 8-bit (1-byte) words.
putC :: ByteOrdered end Int8 -> PutterC Source #
putC :: ByteOrdered end Word8 -> PutterC Source #
Look weird? Yeah. But it's correct :)
putC :: (l, r) -> PutterC Source #
Associated Types
type GPokeBaseSt PutC #
type GPokeBaseC PutC a #
type KnownSizeOf' PutC a #
gPokeBase :: GPokeBaseC PutC a => a -> Poke# (GPokeBaseSt PutC) #
sizeOf' :: KnownSizeOf' PutC a => Proxy# a -> Int# #
runPutC :: forall a. (PutC a, KnownNat (CBLen a)) => a -> ByteString Source #
putGenericStruct :: forall a. (Generic a, GPoke PutC (Rep a)) => a -> PutterC Source #
Serialize a term of the struct-like type a via its Generic instance.
a
Generic