binrep

Safe Haskell	None
Language	GHC2021

Binrep.Type.Prefix.Size

Documentation

data SizePrefix pfx Source #

Instances

Instances details

Predicate (SizePrefix pfx :: Type) Source #

Instance details

Defined in Binrep.Type.Prefix.Size

(KnownPredicateName (SizePrefix pfx), KnownNat (LenNatMax pfx), BLen a) => Refine (SizePrefix pfx :: Type) a Source #

Instance details

Defined in Binrep.Type.Prefix.Size

Methods

validate :: Proxy# (SizePrefix pfx) -> a -> Maybe RefineFailure #

IsCBLen (SizePrefixed pfx a :: Type) Source #

Instance details

Defined in Binrep.Type.Prefix.Size

Associated Types

type CBLen (SizePrefixed pfx a :: Type)
Instance details Defined in Binrep.Type.Prefix.Size type CBLen (SizePrefixed pfx a :: Type) = CBLen pfx + CBLen a

(LenNat 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 #

(LenNat 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 #

(LenNat 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 PredicateName d (SizePrefix pfx :: Type) Source #

Instance details

Defined in Binrep.Type.Prefix.Size

type PredicateName d (SizePrefix pfx :: Type) = ShowParen (d > 9) ("SizePrefix " ++ LenNatName pfx)

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

type SizePrefixed pfx = Refined (SizePrefix pfx) Source #

class GetSize a where Source #

Methods

getSize :: Int -> Getter a Source #

Instances

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 #