Binrep.Type.Prefix.Size

Documentation

data SizePrefix (pfx :: Type)

Instances

(KnownNat (Max pfx), BLen a, Typeable pfx) => Predicate (SizePrefix pfx :: Type) a

Defined in Binrep.Type.Prefix.Size

Methods

validate :: Proxy (SizePrefix pfx) -> a -> Maybe RefineException

IsCBLen (SizePrefixed pfx a :: Type)

Defined in Binrep.Type.Prefix.Size

Associated Types

type CBLen (SizePrefixed pfx a) :: Natural

(Prefix pfx, BLen a, BLen pfx) => BLen (SizePrefixed pfx a)

Defined in Binrep.Type.Prefix.Size

Methods

blen :: SizePrefixed pfx a -> Int

(Prefix pfx, GetSize a, Get pfx) => Get (SizePrefixed pfx a)

Defined in Binrep.Type.Prefix.Size

Methods

get :: Getter (SizePrefixed pfx a)

(Prefix pfx, BLen a, Put pfx, Put a) => Put (SizePrefixed pfx a)

Defined in Binrep.Type.Prefix.Size

Methods

put :: SizePrefixed pfx a -> Putter

type CBLen (SizePrefixed pfx a :: Type)

Defined in Binrep.Type.Prefix.Size

type CBLen (SizePrefixed pfx a :: Type) = CBLen pfx + CBLen a

type SizePrefixed pfx = Refined (SizePrefix pfx)

class GetSize a where

Methods

getSize :: Int -> Getter a

Instances

GetSize ByteString

Defined in Binrep.Type.Prefix.Size

Methods

getSize :: Int -> Getter ByteString

GetSize (Thin ByteString)

Defined in Binrep.Type.Prefix.Size

Methods

getSize :: Int -> Getter (Thin ByteString)