Binrep.Type.Sized

Constant-size data.

Documentation

data Size (n :: Natural)

Essentially runtime reflection of a BLen type to CBLen.

Instances

Predicate (Size n :: Type)

Defined in Binrep.Type.Sized

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

Defined in Binrep.Type.Sized

Methods

validate :: Proxy# (Size n) -> a -> Maybe RefineFailure

IsCBLen (Sized n a :: Type)

Defined in Binrep.Type.Sized

Associated Types

type CBLen (Sized n a :: Type)

Defined in Binrep.Type.Sized

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

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 -> Putter

PutC a => PutC (Sized n a)

Defined in Binrep.Type.Sized

Methods

putC :: Sized n a -> PutterC

type PredicateName d (Size n :: Type)

Defined in Binrep.Type.Sized

type PredicateName d (Size n :: Type) = ShowParen (d > 9) ("Size " ++ ShowNatDec n)

type CBLen (Sized n a :: Type)

Defined in Binrep.Type.Sized

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

type Sized (n :: Natural) = Refined (Size n)