Cursor.List.NonEmpty.Gen

Documentation

nonEmptyElemOf :: NonEmptyCursor a a -> Gen a

nonEmptyWithIndex0 :: Gen a -> Gen (NonEmptyCursor a a)

nonEmptyWith :: a -> Gen a -> Gen (NonEmptyCursor a a)

Orphan instances

(GenUnchecked a, GenUnchecked b) => GenUnchecked (NonEmptyCursor a b)

Methods

genUnchecked :: Gen (NonEmptyCursor a b)

shrinkUnchecked :: NonEmptyCursor a b -> [NonEmptyCursor a b]

(GenValid a, GenValid b) => GenValid (NonEmptyCursor a b)

Methods

genValid :: Gen (NonEmptyCursor a b)

shrinkValid :: NonEmptyCursor a b -> [NonEmptyCursor a b]