Data.GenValidity.Time.LocalTime

Documentation

genTimeZoneName :: Gen String

Orphan instances

GenUnchecked ZonedTime

Methods

genUnchecked :: Gen ZonedTime

shrinkUnchecked :: ZonedTime -> [ZonedTime]

GenUnchecked LocalTime

Methods

genUnchecked :: Gen LocalTime

shrinkUnchecked :: LocalTime -> [LocalTime]

GenUnchecked TimeOfDay

Methods

genUnchecked :: Gen TimeOfDay

shrinkUnchecked :: TimeOfDay -> [TimeOfDay]

GenUnchecked TimeZone

Methods

genUnchecked :: Gen TimeZone

shrinkUnchecked :: TimeZone -> [TimeZone]

GenValid ZonedTime

Methods

genValid :: Gen ZonedTime

shrinkValid :: ZonedTime -> [ZonedTime]

GenValid LocalTime

Methods

genValid :: Gen LocalTime

shrinkValid :: LocalTime -> [LocalTime]

GenValid TimeOfDay

Methods

genValid :: Gen TimeOfDay

shrinkValid :: TimeOfDay -> [TimeOfDay]

GenValid TimeZone

Methods

genValid :: Gen TimeZone

shrinkValid :: TimeZone -> [TimeZone]

GenInvalid ZonedTime

Methods

genInvalid :: Gen ZonedTime

shrinkInvalid :: ZonedTime -> [ZonedTime]

GenInvalid LocalTime

Methods

genInvalid :: Gen LocalTime

shrinkInvalid :: LocalTime -> [LocalTime]

GenInvalid TimeOfDay

Methods

genInvalid :: Gen TimeOfDay

shrinkInvalid :: TimeOfDay -> [TimeOfDay]