Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x4d334ea2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 4d334ea · 2026-10-12

Modulevalidity-vector-0.2.0.3Haskell2010

Data.Validity.Vector

Packagevalidity-vector-0.2.0.3
Exports0
LanguageHaskell2010
LicenceMIT

Orphan instances

3 instances

Validity a => Validity (Vector a)
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
(Storable e, Validity e) => Validity (Vector e)
(Unbox e, Validity e) => Validity (Vector e)