Safe Haskell	Safe-Inferred
Language	GHC2021

Binrep.Type.Prefix.Size

Documentation

Instances details

(KnownNat (Max pfx), BLen a, Typeable pfx) => Predicate (SizePrefix pfx :: Type) a Source #
Instance details Defined in Binrep.Type.Prefix.Size Methods validate :: Proxy (SizePrefix pfx) -> a -> Maybe RefineException #
IsCBLen (SizePrefixed pfx a :: Type) Source #
Instance details Defined in Binrep.Type.Prefix.Size Associated Types type CBLen (SizePrefixed pfx a) :: Natural Source #
(Prefix pfx, BLen a, BLen pfx) => BLen (SizePrefixed pfx a) Source #
Instance details Defined in Binrep.Type.Prefix.Size Methods blen :: SizePrefixed pfx a -> Int Source #
(Prefix pfx, GetSize a, Get pfx) => Get (SizePrefixed pfx a) Source #
Instance details Defined in Binrep.Type.Prefix.Size Methods get :: Getter (SizePrefixed pfx a) Source #
(Prefix pfx, BLen a, Put pfx, Put a) => Put (SizePrefixed pfx a) Source #
Instance details Defined in Binrep.Type.Prefix.Size Methods put :: SizePrefixed pfx a -> Putter Source #
type CBLen (SizePrefixed pfx a :: Type) Source #
Instance details Defined in Binrep.Type.Prefix.Size type CBLen (SizePrefixed pfx a :: Type) = CBLen pfx + CBLen a

class GetSize a where Source #

Methods

Instances details

GetSize ByteString Source #
Instance details Defined in Binrep.Type.Prefix.Size Methods getSize :: Int -> Getter ByteString Source #
GetSize (Thin ByteString) Source #
Instance details Defined in Binrep.Type.Prefix.Size Methods getSize :: Int -> Getter (Thin ByteString) Source #