Binrep.Type.Sized
Description
Constant-size data.
data Size (n :: Natural) Source #
Defined in Binrep.Type.Sized
Methods
validate :: Proxy (Size n) -> a -> Maybe RefineException #
Associated Types
type CBLen (Sized n a) :: Natural Source #
blen :: Sized n a -> BLenT Source #
get :: Getter (Sized n a) Source #
put :: Sized n a -> Builder Source #
type Sized n a = Refined (Size n) a Source #