validity-vector-0.1.0.0: Validity instances for vector
Data.Validity.Vector
Contents
Synopsis
A Vector of things is valid if all the elements are valid.
Vector
TODO make a more comprehensive instance that looks at implementation and the underlying Array
Array
Methods
validate :: Vector a -> Validation #
isValid :: Vector a -> Bool #