Binrep.Type.Sized

Constant-size data.

Documentation

data Size (n :: Natural)

Instances

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

Defined in Binrep.Type.Sized

Methods

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

KnownNat n => BLen (Sized n a)

Defined in Binrep.Type.Sized

Associated Types

type CBLen (Sized n a) :: Natural

Methods

blen :: Sized n a -> BLenT

(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 -> Builder

type CBLen (Sized n a)

Defined in Binrep.Type.Sized

type CBLen (Sized n a) = n

type Sized n a = Refined (Size n) a