| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Chronos.Types
- newtype Day = Day {}
- newtype Days = Days {}
- newtype DayOfWeek = DayOfWeek {}
- newtype DayOfMonth = DayOfMonth {}
- newtype DayOfYear = DayOfYear {}
- newtype Month = Month {}
- newtype Year = Year {}
- newtype Offset = Offset {}
- newtype TaiTime = TaiTime {
- getTaiTime :: Int64
- newtype PosixTime = PosixTime {}
- newtype DayOfWeekMatch a = DayOfWeekMatch {
- getDayOfWeekMatch :: Vector a
- newtype MonthMatch a = MonthMatch {
- getMonthMatch :: Vector a
- newtype UnboxedMonthMatch a = UnboxedMonthMatch {}
- newtype Nanoseconds = Nanoseconds {}
- data Date = Date {}
- data OrdinalDate = OrdinalDate {}
- data MonthDate = MonthDate {}
- data Datetime = Datetime {
- datetimeDate :: !Date
- datetimeTime :: !TimeOfDay
- data OffsetDatetime = OffsetDatetime {}
- data TimeOfDay = TimeOfDay {}
- data UtcTime = UtcTime {
- utcTimeDate :: !Day
- utcTimeNanoseconds :: !Word64
- data DatetimeFormat a = DatetimeFormat {
- datetimeFormatDateSeparator :: !(Maybe a)
- datetimeFormatSeparator :: !(Maybe a)
- datetimeFormatTimeSeparator :: !(Maybe a)
- data OffsetFormat
- data DatetimeLocale a = DatetimeLocale {}
- data MeridiemLocale a = MeridiemLocale {
- meridiemLocaleAm :: !a
- meridiemLocalePm :: !a
Documentation
A duration of days
Constructors
| DayOfWeek | |
Fields | |
newtype DayOfMonth Source
Constructors
| DayOfMonth | |
Fields | |
Instances
Constructors
| DayOfYear | |
Fields | |
TAI time with nanosecond resolution.
Constructors
| TaiTime | |
Fields
| |
POSIX time with nanosecond resolution.
Constructors
| PosixTime | |
Fields | |
newtype DayOfWeekMatch a Source
Constructors
| DayOfWeekMatch | |
Fields
| |
newtype MonthMatch a Source
Constructors
| MonthMatch | |
Fields
| |
newtype UnboxedMonthMatch a Source
Constructors
| UnboxedMonthMatch | |
Fields | |
newtype Nanoseconds Source
Constructors
| Nanoseconds | |
Fields | |
A date as represented by the Gregorian calendar.
data OrdinalDate Source
Constructors
| OrdinalDate | |
Fields
| |
Constructors
| MonthDate | |
Fields
| |
A date as represented by the Gregorian calendar and a time of day.
Constructors
| Datetime | |
Fields
| |
data OffsetDatetime Source
Constructors
| OffsetDatetime | |
Fields | |
A time of day, including the possibility of leap seconds.
Constructors
| TimeOfDay | |
Fields
| |
Constructors
| UtcTime | |
Fields
| |
data DatetimeFormat a Source
Constructors
| DatetimeFormat | |
Fields
| |
Instances
| Eq a => Eq (DatetimeFormat a) Source | |
| Ord a => Ord (DatetimeFormat a) Source | |
| Read a => Read (DatetimeFormat a) Source | |
| Show a => Show (DatetimeFormat a) Source |
data OffsetFormat Source
Constructors
| OffsetFormatColonOff |
|
| OffsetFormatColonOn |
|
| OffsetFormatSecondsPrecision |
|
| OffsetFormatColonAuto |
|
data DatetimeLocale a Source
Constructors
| DatetimeLocale | |
Fields
| |
data MeridiemLocale a Source
Constructors
| MeridiemLocale | |
Fields
| |
Instances
| Eq a => Eq (MeridiemLocale a) Source | |
| Ord a => Ord (MeridiemLocale a) Source | |
| Read a => Read (MeridiemLocale a) Source | |
| Show a => Show (MeridiemLocale a) Source |