::
GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
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)