Binrep.Type.Prefix.Count

Documentation

data CountPrefix (pfx :: Type)

Instances

(KnownNat (Max pfx), Foldable f, Typeable pfx) => Predicate1 (CountPrefix pfx :: Type) (f :: Type -> Type)

Defined in Binrep.Type.Prefix.Count

Methods

validate1 :: forall (a :: k). Proxy (CountPrefix pfx) -> f a -> Maybe RefineException

(KnownNat (Max pfx), Foldable f, Typeable pfx) => Predicate (CountPrefix pfx :: Type) (f a)

Defined in Binrep.Type.Prefix.Count

Methods

validate :: Proxy (CountPrefix pfx) -> f a -> Maybe RefineException

IsCBLen (CountPrefixed pfx f a :: Type)

Defined in Binrep.Type.Prefix.Count

Associated Types

type CBLen (CountPrefixed pfx f a) :: Natural

(Prefix pfx, Foldable f, BLen pfx, BLen (f a)) => BLen (CountPrefixed pfx f a)

Defined in Binrep.Type.Prefix.Count

Methods

blen :: CountPrefixed pfx f a -> Int

(Prefix pfx, GetCount f, Get pfx, Get a) => Get (CountPrefixed pfx f a)

Defined in Binrep.Type.Prefix.Count

Methods

get :: Getter (CountPrefixed pfx f a)

(Prefix pfx, Foldable f, Put pfx, Put (f a)) => Put (CountPrefixed pfx f a)

Defined in Binrep.Type.Prefix.Count

Methods

put :: CountPrefixed pfx f a -> Poke

type CBLen (CountPrefixed pfx f a :: Type)

Defined in Binrep.Type.Prefix.Count

type CBLen (CountPrefixed pfx f a :: Type) = CBLen pfx + CBLen (f a)

type CountPrefixed pfx = Refined1 (CountPrefix pfx)

class GetCount f where

Methods

getCount :: Get a => Int -> Getter (f a)

Instances

GetCount []

Defined in Binrep.Type.Prefix.Count

Methods

getCount :: Get a => Int -> Getter [a]