Safe Haskell	None
Language	Haskell2010

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 #