GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31
Package sets
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)