validity-vector-0.2.0.2: Validity instances for vector

Safe HaskellNone
LanguageHaskell2010

Data.Validity.Vector

Contents

Orphan instances

(Unbox e, Validity e) => Validity (Vector e) Source # 
Instance details

Methods

validate :: Vector e -> Validation #

(Storable e, Validity e) => Validity (Vector e) Source # 
Instance details

Methods

validate :: Vector e -> Validation #

Validity a => Validity (Vector a) Source #

A Vector of things is valid if all the elements are valid.

TODO make a more comprehensive instance that looks at implementation and the underlying Array

Instance details

Methods

validate :: Vector a -> Validation #