binrep-0.3.0: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Binrep.Type.Vector

Description

Sized vectors.

Documentation

getVector :: KnownNat n => Getter a -> Getter (Vector n a) Source #

Orphan instances

BLen a => BLen (Vector n a) Source # 
Instance details

Associated Types

type CBLen (Vector n a) :: Natural Source #

Methods

blen :: Vector n a -> BLenT Source #

(Get a, KnownNat n) => Get (Vector n a) Source # 
Instance details

Methods

get :: Getter (Vector n a) Source #

Put a => Put (Vector n a) Source # 
Instance details

Methods

put :: Vector n a -> Builder Source #