Binrep.Type.Sized

Constant-size data.

Documentation

data Size (n :: Natural)

Essentially reflects a BLen type to CBLen.

Instances

(BLen a, KnownNat n) => Predicate (Size n :: Type) a

Defined in Binrep.Type.Sized

Methods

validate :: Proxy (Size n) -> a -> Maybe RefineException

IsCBLen (Sized n a :: Type)

Defined in Binrep.Type.Sized

Associated Types

type CBLen (Sized n a) :: Natural

KnownNat n => BLen (Sized n a)

Defined in Binrep.Type.Sized

Methods

blen :: Sized n a -> Int

(Get a, KnownNat n) => Get (Sized n a)

Defined in Binrep.Type.Sized

Methods

get :: Getter (Sized n a)

Put a => Put (Sized n a)

Defined in Binrep.Type.Sized

Methods

put :: Sized n a -> Poke

type CBLen (Sized n a :: Type)

Defined in Binrep.Type.Sized

type CBLen (Sized n a :: Type) = n

type Sized n = Refined (Size n)