Data.GenValidity.Path

Orphan instances

GenUnchecked (Path a f)

Methods

genUnchecked :: Gen (Path a f)

shrinkUnchecked :: Path a f -> [Path a f]

GenValid (Path Abs File)

Methods

genValid :: Gen (Path Abs File)

shrinkValid :: Path Abs File -> [Path Abs File]

GenValid (Path Abs Dir)

Methods

genValid :: Gen (Path Abs Dir)

shrinkValid :: Path Abs Dir -> [Path Abs Dir]

GenValid (Path Rel File)

Methods

genValid :: Gen (Path Rel File)

shrinkValid :: Path Rel File -> [Path Rel File]

GenValid (Path Rel Dir)

Methods

genValid :: Gen (Path Rel Dir)

shrinkValid :: Path Rel Dir -> [Path Rel Dir]

GenInvalid (Path Abs File)

Methods

genInvalid :: Gen (Path Abs File)

shrinkInvalid :: Path Abs File -> [Path Abs File]

GenInvalid (Path Abs Dir)

Methods

genInvalid :: Gen (Path Abs Dir)

shrinkInvalid :: Path Abs Dir -> [Path Abs Dir]

GenInvalid (Path Rel File)

Methods

genInvalid :: Gen (Path Rel File)

shrinkInvalid :: Path Rel File -> [Path Rel File]

GenInvalid (Path Rel Dir)

Methods

genInvalid :: Gen (Path Rel Dir)

shrinkInvalid :: Path Rel Dir -> [Path Rel Dir]