APITime
Time
Gregorian dates, zoned moments, exact durations, and calendar periods.
Import the individual Time modules, normally with aliases such as
import Time.Date as Date. Values are immutable; calendar arithmetic never
consults a system clock. Zone conversion and formatting are total; the few
fallible operations use Fail Error, and each one’s comment names the
constructors it can raise.
Error
type Error = InvalidComponent String | InvalidText String | OutOfRange | Ambiguous | NonexistentSourceA checked time operation could not produce a value.
Constructors
InvalidComponent
InvalidComponent : String -> ErrorSourceA component given to a constructor is outside its range; the text names it.
InvalidText
InvalidText : String -> ErrorSourceText does not match the documented ISO grammar or denotes an unrepresentable moment.
OutOfRange
OutOfRange : ErrorSourceThe result leaves the supported calendar: dates in years 1 through 9999, moments from 0001-01-02T00:00:00Z through 9999-12-30T23:59:59Z.
Nonexistent
Nonexistent : ErrorSourceA local clock reading does not occur: a gap under the Reject policy, or a calendar date with no instants at all under any policy.
Instances:
Eq Error
Show ErrorResolution
type Resolution = Compatible | Earlier | Later | RejectSourceHow a local clock reading is resolved across an offset transition.
Constructors
Compatible
Compatible : ResolutionSourceEarlier in an overlap; forward by the gap for a skipped reading.
Earlier
Earlier : ResolutionSourceThe earlier instant, moving backward by the gap for a skipped reading.
Instances:
Eq Resolution
Show ResolutionWeekday
type Weekday = Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | SundaySourceISO weekdays, ordered Monday through Sunday.
Constructors
Instances:
Eq Weekday
Ord Weekday
Show Weekday