Data.GenValidity.Vector

Orphan instances

(Storable e, GenUnchecked e) => GenUnchecked (Vector e)

Methods

genUnchecked :: Gen (Vector e)

shrinkUnchecked :: Vector e -> [Vector e]

GenUnchecked v => GenUnchecked (Vector v)

Methods

genUnchecked :: Gen (Vector v)

shrinkUnchecked :: Vector v -> [Vector v]

(Storable e, GenValid e) => GenValid (Vector e)

Methods

genValid :: Gen (Vector e)

shrinkValid :: Vector e -> [Vector e]

GenValid v => GenValid (Vector v)

Methods

genValid :: Gen (Vector v)

shrinkValid :: Vector v -> [Vector v]

(GenUnchecked v, GenInvalid v) => GenInvalid (Vector v)

Methods

genInvalid :: Gen (Vector v)

shrinkInvalid :: Vector v -> [Vector v]