WASH.Utility.ISO8601
- applyToCalT :: (CalendarTime -> a) -> IO a
- isoDateAndTimeToSeconds :: ISODateAndTime -> IO Integer
- isoTimeToSeconds :: ISOTime -> IO Integer
- isoDateToSeconds :: ISODate -> IO Integer
- class ToSeconds iso where
- toSeconds :: iso -> CalendarTime -> Integer
- toRawSeconds :: iso -> CalendarTime -> Integer
- leapSeconds :: [Integer]
- data LeapSeconds
- isoDateToClockTime :: ISODate -> ClockTime
- isoDateAndTimeToClockTime :: ISODateAndTime -> ClockTime
- data ISODateAndTime = ISODateAndTime ISODate ISOTime
- data ISODate = ISODate ISOYearSpec ISODayOfYearSpec
- data ISOYearSpec
- = ImplicitYear
- | ImplicitCentury Int
- | Century Int
- | ImplicitDecade Int
- | Year Int
- data ISODayOfYearSpec
- data ISOMonthSpec
- = ImplicitMonth
- | Month Int
- data ISODayOfMonthSpec
- data ISOWeekSpec
- = ImplicitWeek
- | AnyWeek
- | Week Int
- data ISODayOfWeekSpec
- = NoDayOfWeek
- | DayOfWeek Int
- data ISOTime = ISOTime ISOHourSpec ISOMinuteSpec ISOSecondSpec ISOTimeZoneSpec
- data ISOHourSpec
- = ImplicitHour
- | Hour Int
- data ISOMinuteSpec
- = ImplicitMinute
- | Minute Int
- | NoMinute
- data ISOSecondSpec
- data ISOTimeZoneSpec
- parseDateFromString :: String -> Maybe ISODate
- parseTimeFromString :: String -> Maybe ISOTime
- parseDateAndTimeFromString :: String -> Maybe ISODateAndTime
Documentation
applyToCalT :: (CalendarTime -> a) -> IO aSource
class ToSeconds iso whereSource
Methods
toSeconds :: iso -> CalendarTime -> IntegerSource
returns number of seconds since reference point
toRawSeconds :: iso -> CalendarTime -> IntegerSource
leapSeconds :: [Integer]Source
compute weekday of Jan 1
in seconds from epoch; needs to be updated when time leaps again
data LeapSeconds Source
Constructors
| LeapSecond Integer | |
| NotLeapSecond Integer |
data ISODateAndTime Source
data type for representing ISO time
Constructors
| ISODateAndTime ISODate ISOTime |
Constructors
| ISODate ISOYearSpec ISODayOfYearSpec |
data ISOYearSpec Source
Constructors
| ImplicitYear | |
| ImplicitCentury Int | |
| Century Int | |
| ImplicitDecade Int | |
| Year Int |
data ISODayOfYearSpec Source
data ISOMonthSpec Source
Constructors
| ImplicitMonth | |
| Month Int |
data ISODayOfMonthSpec Source
Constructors
| NoDayOfMonth | |
| DayOfMonth Int |
data ISOWeekSpec Source
Constructors
| ImplicitWeek | |
| AnyWeek | |
| Week Int |
data ISODayOfWeekSpec Source
Constructors
| NoDayOfWeek | |
| DayOfWeek Int |
Constructors
| ISOTime ISOHourSpec ISOMinuteSpec ISOSecondSpec ISOTimeZoneSpec |
data ISOHourSpec Source
Constructors
| ImplicitHour | |
| Hour Int |
data ISOMinuteSpec Source
Constructors
| ImplicitMinute | |
| Minute Int | |
| NoMinute |
data ISOSecondSpec Source
data ISOTimeZoneSpec Source