Skip to content

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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19

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)