::
GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11
Modulevalidity-vector-0.2.0.3Haskell2010
Validity a => Validity (Vector a)
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
(Storable e, Validity e) => Validity (Vector e)
(Unbox e, Validity e) => Validity (Vector e)