Safe Haskell	None
Language	Haskell2010

Chronos.Types

Description

Data types for representing different date and time-related information.

Internally, the types Int and Int64 are used to represent everything. These are used even when negative values are not appropriate and even if a smaller fixed-size integer could hold the information. The only cases when Int64 is used are when it is neccessary to represent values with numbers 2^29 or higher. These are typically fields that represent nanoseconds.

Unlike the types in the venerable time library, the types here do not allow the user to work with all dates. Since this library uses fixed-precision integral values instead of Integer, all of the usual problems with overflow should be considered. Notably, PosixTime and TaiTime can only be used to represent time between the years 1680 and 2260. All other types in this library correctly represent time a million years before or after 1970.

The vector unbox instances store data in a reasonably compact manner. For example, the instance for Day has three unboxed vectors: Int for the year, Int8 for the month, and Int8 for the day. This only causes corruption of data if the user is trying to use out-of-bounds values for the month and the day. Users are advised to not use the data types provided here to model non-existent times.

Synopsis

newtype Day = Day {
- getDay :: Int
}
newtype DayOfWeek = DayOfWeek {
- getDayOfWeek :: Int
}
newtype DayOfMonth = DayOfMonth {
- getDayOfMonth :: Int
}
newtype DayOfYear = DayOfYear {
- getDayOfYear :: Int
}
newtype Month = Month {
- getMonth :: Int
}
newtype Year = Year {
- getYear :: Int
}
newtype Offset = Offset {
- getOffset :: Int
}
newtype Time = Time {
- getTime :: Int64
}
newtype DayOfWeekMatch a = DayOfWeekMatch {
- getDayOfWeekMatch :: Vector a
}
newtype MonthMatch a = MonthMatch {
- getMonthMatch :: Vector a
}
newtype UnboxedMonthMatch a = UnboxedMonthMatch {
- getUnboxedMonthMatch :: Vector a
}
newtype Timespan = Timespan {
- getTimespan :: Int64
}
data SubsecondPrecision
- = SubsecondPrecisionAuto
- | SubsecondPrecisionFixed !Int
data Date = Date {
- dateYear :: !Year
- dateMonth :: !Month
- dateDay :: !DayOfMonth
}
data OrdinalDate = OrdinalDate {
- ordinalDateYear :: !Year
- ordinalDateDayOfYear :: !DayOfYear
}
data MonthDate = MonthDate {
- monthDateMonth :: !Month
- monthDateDay :: !DayOfMonth
}
data Datetime = Datetime {
- datetimeDate :: !Date
- datetimeTime :: !TimeOfDay
}
data OffsetDatetime = OffsetDatetime {
- offsetDatetimeDatetime :: !Datetime
- offsetDatetimeOffset :: !Offset
}
data TimeOfDay = TimeOfDay {
- timeOfDayHour :: !Int
- timeOfDayMinute :: !Int
- timeOfDayNanoseconds :: !Int64
}
data DatetimeFormat = DatetimeFormat {
- datetimeFormatDateSeparator :: !(Maybe Char)
- datetimeFormatSeparator :: !(Maybe Char)
- datetimeFormatTimeSeparator :: !(Maybe Char)
}
data OffsetFormat
- = OffsetFormatColonOff
- | OffsetFormatColonOn
- | OffsetFormatSecondsPrecision
- | OffsetFormatColonAuto
data DatetimeLocale a = DatetimeLocale {
- datetimeLocaleDaysOfWeekFull :: !(DayOfWeekMatch a)
- datetimeLocaleDaysOfWeekAbbreviated :: !(DayOfWeekMatch a)
- datetimeLocaleMonthsFull :: !(MonthMatch a)
- datetimeLocaleMonthsAbbreviated :: !(MonthMatch a)
}
data MeridiemLocale a = MeridiemLocale {
- meridiemLocaleAm :: !a
- meridiemLocalePm :: !a
}
data TimeInterval = TimeInterval !Time !Time

Documentation

newtype Day Source #

A day represented as the modified Julian date, the number of days since midnight on November 17, 1858.

Constructors

Day
Fields getDay :: Int

Instances

Enum Day Source #
Instance details Defined in Chronos Methods succ :: Day -> Day # pred :: Day -> Day # toEnum :: Int -> Day # fromEnum :: Day -> Int # enumFrom :: Day -> [Day] # enumFromThen :: Day -> Day -> [Day] # enumFromTo :: Day -> Day -> [Day] # enumFromThenTo :: Day -> Day -> Day -> [Day] #
Eq Day Source #
Instance details Defined in Chronos Methods (==) :: Day -> Day -> Bool # (/=) :: Day -> Day -> Bool #
Ord Day Source #
Instance details Defined in Chronos Methods compare :: Day -> Day -> Ordering # (<) :: Day -> Day -> Bool # (<=) :: Day -> Day -> Bool # (>) :: Day -> Day -> Bool # (>=) :: Day -> Day -> Bool # max :: Day -> Day -> Day # min :: Day -> Day -> Day #
Read Day Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Day # readList :: ReadS [Day] # readPrec :: ReadPrec Day # readListPrec :: ReadPrec [Day] #
Show Day Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Day -> ShowS # show :: Day -> String # showList :: [Day] -> ShowS #
Hashable Day Source #
Instance details Defined in Chronos Methods hashWithSalt :: Int -> Day -> Int # hash :: Day -> Int #
ToJSON Day Source #
Instance details Defined in Chronos Methods toJSON :: Day -> Value # toEncoding :: Day -> Encoding # toJSONList :: [Day] -> Value # toEncodingList :: [Day] -> Encoding #
FromJSON Day Source #
Instance details Defined in Chronos Methods parseJSON :: Value -> Parser Day # parseJSONList :: Value -> Parser [Day] #
Storable Day Source #
Instance details Defined in Chronos Methods sizeOf :: Day -> Int # alignment :: Day -> Int # peekElemOff :: Ptr Day -> Int -> IO Day # pokeElemOff :: Ptr Day -> Int -> Day -> IO () # peekByteOff :: Ptr b -> Int -> IO Day # pokeByteOff :: Ptr b -> Int -> Day -> IO () # peek :: Ptr Day -> IO Day # poke :: Ptr Day -> Day -> IO () #
Prim Day Source #
Instance details Defined in Chronos Methods sizeOf# :: Day -> Int# # alignment# :: Day -> Int# # indexByteArray# :: ByteArray# -> Int# -> Day # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, Day#) # writeByteArray# :: MutableByteArray# s -> Int# -> Day -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Day -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Day # readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, Day#) # writeOffAddr# :: Addr# -> Int# -> Day -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Day -> State# s -> State# s #
Torsor Day Int Source #
Instance details Defined in Chronos Methods add :: Int -> Day -> Day # difference :: Day -> Day -> Int #

newtype DayOfWeek Source #

The day of the week.

Constructors

DayOfWeek
Fields getDayOfWeek :: Int

Instances

Eq DayOfWeek Source #
Instance details Defined in Chronos Methods (==) :: DayOfWeek -> DayOfWeek -> Bool # (/=) :: DayOfWeek -> DayOfWeek -> Bool #
Ord DayOfWeek Source #
Instance details Defined in Chronos Methods compare :: DayOfWeek -> DayOfWeek -> Ordering # (<) :: DayOfWeek -> DayOfWeek -> Bool # (<=) :: DayOfWeek -> DayOfWeek -> Bool # (>) :: DayOfWeek -> DayOfWeek -> Bool # (>=) :: DayOfWeek -> DayOfWeek -> Bool # max :: DayOfWeek -> DayOfWeek -> DayOfWeek # min :: DayOfWeek -> DayOfWeek -> DayOfWeek #
Read DayOfWeek Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS DayOfWeek # readList :: ReadS [DayOfWeek] # readPrec :: ReadPrec DayOfWeek # readListPrec :: ReadPrec [DayOfWeek] #
Show DayOfWeek Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> DayOfWeek -> ShowS # show :: DayOfWeek -> String # showList :: [DayOfWeek] -> ShowS #
Hashable DayOfWeek Source #
Instance details Defined in Chronos Methods hashWithSalt :: Int -> DayOfWeek -> Int # hash :: DayOfWeek -> Int #

newtype DayOfMonth Source #

The day of the month.

Constructors

DayOfMonth
Fields getDayOfMonth :: Int

Instances

Enum DayOfMonth Source #
Instance details Defined in Chronos Methods succ :: DayOfMonth -> DayOfMonth # pred :: DayOfMonth -> DayOfMonth # toEnum :: Int -> DayOfMonth # fromEnum :: DayOfMonth -> Int # enumFrom :: DayOfMonth -> [DayOfMonth] # enumFromThen :: DayOfMonth -> DayOfMonth -> [DayOfMonth] # enumFromTo :: DayOfMonth -> DayOfMonth -> [DayOfMonth] # enumFromThenTo :: DayOfMonth -> DayOfMonth -> DayOfMonth -> [DayOfMonth] #
Eq DayOfMonth Source #
Instance details Defined in Chronos Methods (==) :: DayOfMonth -> DayOfMonth -> Bool # (/=) :: DayOfMonth -> DayOfMonth -> Bool #
Ord DayOfMonth Source #
Instance details Defined in Chronos Methods compare :: DayOfMonth -> DayOfMonth -> Ordering # (<) :: DayOfMonth -> DayOfMonth -> Bool # (<=) :: DayOfMonth -> DayOfMonth -> Bool # (>) :: DayOfMonth -> DayOfMonth -> Bool # (>=) :: DayOfMonth -> DayOfMonth -> Bool # max :: DayOfMonth -> DayOfMonth -> DayOfMonth # min :: DayOfMonth -> DayOfMonth -> DayOfMonth #
Read DayOfMonth Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS DayOfMonth # readList :: ReadS [DayOfMonth] # readPrec :: ReadPrec DayOfMonth # readListPrec :: ReadPrec [DayOfMonth] #
Show DayOfMonth Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> DayOfMonth -> ShowS # show :: DayOfMonth -> String # showList :: [DayOfMonth] -> ShowS #
Prim DayOfMonth Source #
Instance details Defined in Chronos Methods sizeOf# :: DayOfMonth -> Int# # alignment# :: DayOfMonth -> Int# # indexByteArray# :: ByteArray# -> Int# -> DayOfMonth # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, DayOfMonth#) # writeByteArray# :: MutableByteArray# s -> Int# -> DayOfMonth -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> DayOfMonth -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> DayOfMonth # readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, DayOfMonth#) # writeOffAddr# :: Addr# -> Int# -> DayOfMonth -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> DayOfMonth -> State# s -> State# s #
Unbox DayOfMonth Source #
Instance details Defined in Chronos
Vector Vector DayOfMonth Source #
Instance details Defined in Chronos Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) DayOfMonth -> m (Vector DayOfMonth) # basicUnsafeThaw :: PrimMonad m => Vector DayOfMonth -> m (Mutable Vector (PrimState m) DayOfMonth) # basicLength :: Vector DayOfMonth -> Int # basicUnsafeSlice :: Int -> Int -> Vector DayOfMonth -> Vector DayOfMonth # basicUnsafeIndexM :: Monad m => Vector DayOfMonth -> Int -> m DayOfMonth # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) DayOfMonth -> Vector DayOfMonth -> m () # elemseq :: Vector DayOfMonth -> DayOfMonth -> b -> b #
MVector MVector DayOfMonth Source #
Instance details Defined in Chronos Methods basicLength :: MVector s DayOfMonth -> Int # basicUnsafeSlice :: Int -> Int -> MVector s DayOfMonth -> MVector s DayOfMonth # basicOverlaps :: MVector s DayOfMonth -> MVector s DayOfMonth -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) DayOfMonth) # basicInitialize :: PrimMonad m => MVector (PrimState m) DayOfMonth -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> DayOfMonth -> m (MVector (PrimState m) DayOfMonth) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) DayOfMonth -> Int -> m DayOfMonth # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) DayOfMonth -> Int -> DayOfMonth -> m () # basicClear :: PrimMonad m => MVector (PrimState m) DayOfMonth -> m () # basicSet :: PrimMonad m => MVector (PrimState m) DayOfMonth -> DayOfMonth -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) DayOfMonth -> MVector (PrimState m) DayOfMonth -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) DayOfMonth -> MVector (PrimState m) DayOfMonth -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) DayOfMonth -> Int -> m (MVector (PrimState m) DayOfMonth) #
newtype Vector DayOfMonth Source #
Instance details Defined in Chronos newtype Vector DayOfMonth = V_DayOfMonth (Vector DayOfMonth)
newtype MVector s DayOfMonth Source #
Instance details Defined in Chronos newtype MVector s DayOfMonth = MV_DayOfMonth (MVector s DayOfMonth)

newtype DayOfYear Source #

The day of the year.

Constructors

DayOfYear
Fields getDayOfYear :: Int

Instances

Eq DayOfYear Source #
Instance details Defined in Chronos Methods (==) :: DayOfYear -> DayOfYear -> Bool # (/=) :: DayOfYear -> DayOfYear -> Bool #
Ord DayOfYear Source #
Instance details Defined in Chronos Methods compare :: DayOfYear -> DayOfYear -> Ordering # (<) :: DayOfYear -> DayOfYear -> Bool # (<=) :: DayOfYear -> DayOfYear -> Bool # (>) :: DayOfYear -> DayOfYear -> Bool # (>=) :: DayOfYear -> DayOfYear -> Bool # max :: DayOfYear -> DayOfYear -> DayOfYear # min :: DayOfYear -> DayOfYear -> DayOfYear #
Read DayOfYear Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS DayOfYear # readList :: ReadS [DayOfYear] # readPrec :: ReadPrec DayOfYear # readListPrec :: ReadPrec [DayOfYear] #
Show DayOfYear Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> DayOfYear -> ShowS # show :: DayOfYear -> String # showList :: [DayOfYear] -> ShowS #
Prim DayOfYear Source #
Instance details Defined in Chronos Methods sizeOf# :: DayOfYear -> Int# # alignment# :: DayOfYear -> Int# # indexByteArray# :: ByteArray# -> Int# -> DayOfYear # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, DayOfYear#) # writeByteArray# :: MutableByteArray# s -> Int# -> DayOfYear -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> DayOfYear -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> DayOfYear # readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, DayOfYear#) # writeOffAddr# :: Addr# -> Int# -> DayOfYear -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> DayOfYear -> State# s -> State# s #

newtype Month Source #

The month of the year.

Constructors

Month
Fields getMonth :: Int

Instances

Bounded Month Source #	`Month` starts at 0 and ends at 11 (January to December)
Instance details Defined in Chronos Methods minBound :: Month # maxBound :: Month #
Enum Month Source #
Instance details Defined in Chronos Methods succ :: Month -> Month # pred :: Month -> Month # toEnum :: Int -> Month # fromEnum :: Month -> Int # enumFrom :: Month -> [Month] # enumFromThen :: Month -> Month -> [Month] # enumFromTo :: Month -> Month -> [Month] # enumFromThenTo :: Month -> Month -> Month -> [Month] #
Eq Month Source #
Instance details Defined in Chronos Methods (==) :: Month -> Month -> Bool # (/=) :: Month -> Month -> Bool #
Ord Month Source #
Instance details Defined in Chronos Methods compare :: Month -> Month -> Ordering # (<) :: Month -> Month -> Bool # (<=) :: Month -> Month -> Bool # (>) :: Month -> Month -> Bool # (>=) :: Month -> Month -> Bool # max :: Month -> Month -> Month # min :: Month -> Month -> Month #
Read Month Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Month # readList :: ReadS [Month] # readPrec :: ReadPrec Month # readListPrec :: ReadPrec [Month] #
Show Month Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Month -> ShowS # show :: Month -> String # showList :: [Month] -> ShowS #
Prim Month Source #
Instance details Defined in Chronos Methods sizeOf# :: Month -> Int# # alignment# :: Month -> Int# # indexByteArray# :: ByteArray# -> Int# -> Month # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, Month#) # writeByteArray# :: MutableByteArray# s -> Int# -> Month -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Month -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Month # readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, Month#) # writeOffAddr# :: Addr# -> Int# -> Month -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Month -> State# s -> State# s #
Unbox Month Source #
Instance details Defined in Chronos
Vector Vector Month Source #
Instance details Defined in Chronos Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Month -> m (Vector Month) # basicUnsafeThaw :: PrimMonad m => Vector Month -> m (Mutable Vector (PrimState m) Month) # basicLength :: Vector Month -> Int # basicUnsafeSlice :: Int -> Int -> Vector Month -> Vector Month # basicUnsafeIndexM :: Monad m => Vector Month -> Int -> m Month # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Month -> Vector Month -> m () # elemseq :: Vector Month -> Month -> b -> b #
MVector MVector Month Source #
Instance details Defined in Chronos Methods basicLength :: MVector s Month -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Month -> MVector s Month # basicOverlaps :: MVector s Month -> MVector s Month -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Month) # basicInitialize :: PrimMonad m => MVector (PrimState m) Month -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Month -> m (MVector (PrimState m) Month) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Month -> Int -> m Month # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Month -> Int -> Month -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Month -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Month -> Month -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Month -> MVector (PrimState m) Month -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Month -> MVector (PrimState m) Month -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Month -> Int -> m (MVector (PrimState m) Month) #
newtype Vector Month Source #
Instance details Defined in Chronos newtype Vector Month = V_Month (Vector Month)
newtype MVector s Month Source #
Instance details Defined in Chronos newtype MVector s Month = MV_Month (MVector s Month)

newtype Year Source #

The number of years elapsed since the beginning of the Common Era.

Constructors

Year
Fields getYear :: Int

Instances

Eq Year Source #
Instance details Defined in Chronos Methods (==) :: Year -> Year -> Bool # (/=) :: Year -> Year -> Bool #
Ord Year Source #
Instance details Defined in Chronos Methods compare :: Year -> Year -> Ordering # (<) :: Year -> Year -> Bool # (<=) :: Year -> Year -> Bool # (>) :: Year -> Year -> Bool # (>=) :: Year -> Year -> Bool # max :: Year -> Year -> Year # min :: Year -> Year -> Year #
Read Year Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Year # readList :: ReadS [Year] # readPrec :: ReadPrec Year # readListPrec :: ReadPrec [Year] #
Show Year Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Year -> ShowS # show :: Year -> String # showList :: [Year] -> ShowS #

newtype Offset Source #

A UTC offset.

Constructors

Offset
Fields getOffset :: Int

Instances

Enum Offset Source #
Instance details Defined in Chronos Methods succ :: Offset -> Offset # pred :: Offset -> Offset # toEnum :: Int -> Offset # fromEnum :: Offset -> Int # enumFrom :: Offset -> [Offset] # enumFromThen :: Offset -> Offset -> [Offset] # enumFromTo :: Offset -> Offset -> [Offset] # enumFromThenTo :: Offset -> Offset -> Offset -> [Offset] #
Eq Offset Source #
Instance details Defined in Chronos Methods (==) :: Offset -> Offset -> Bool # (/=) :: Offset -> Offset -> Bool #
Ord Offset Source #
Instance details Defined in Chronos Methods compare :: Offset -> Offset -> Ordering # (<) :: Offset -> Offset -> Bool # (<=) :: Offset -> Offset -> Bool # (>) :: Offset -> Offset -> Bool # (>=) :: Offset -> Offset -> Bool # max :: Offset -> Offset -> Offset # min :: Offset -> Offset -> Offset #
Read Offset Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Offset # readList :: ReadS [Offset] # readPrec :: ReadPrec Offset # readListPrec :: ReadPrec [Offset] #
Show Offset Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Offset -> ShowS # show :: Offset -> String # showList :: [Offset] -> ShowS #
ToJSON Offset Source #
Instance details Defined in Chronos Methods toJSON :: Offset -> Value # toEncoding :: Offset -> Encoding # toJSONList :: [Offset] -> Value # toEncodingList :: [Offset] -> Encoding #
ToJSONKey Offset Source #
Instance details Defined in Chronos Methods toJSONKey :: ToJSONKeyFunction Offset # toJSONKeyList :: ToJSONKeyFunction [Offset] #
FromJSON Offset Source #
Instance details Defined in Chronos Methods parseJSON :: Value -> Parser Offset # parseJSONList :: Value -> Parser [Offset] #
FromJSONKey Offset Source #
Instance details Defined in Chronos Methods fromJSONKey :: FromJSONKeyFunction Offset # fromJSONKeyList :: FromJSONKeyFunction [Offset] #
Torsor Offset Int Source #
Instance details Defined in Chronos Methods add :: Int -> Offset -> Offset # difference :: Offset -> Offset -> Int #

newtype Time Source #

POSIX time with nanosecond resolution.

Constructors

Time
Fields getTime :: Int64

Instances

Bounded Time Source #
Instance details Defined in Chronos Methods minBound :: Time # maxBound :: Time #
Eq Time Source #
Instance details Defined in Chronos Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Ord Time Source #
Instance details Defined in Chronos Methods compare :: Time -> Time -> Ordering # (<) :: Time -> Time -> Bool # (<=) :: Time -> Time -> Bool # (>) :: Time -> Time -> Bool # (>=) :: Time -> Time -> Bool # max :: Time -> Time -> Time # min :: Time -> Time -> Time #
Read Time Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Time # readList :: ReadS [Time] # readPrec :: ReadPrec Time # readListPrec :: ReadPrec [Time] #
Show Time Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
Hashable Time Source #
Instance details Defined in Chronos Methods hashWithSalt :: Int -> Time -> Int # hash :: Time -> Int #
ToJSON Time Source #
Instance details Defined in Chronos Methods toJSON :: Time -> Value # toEncoding :: Time -> Encoding # toJSONList :: [Time] -> Value # toEncodingList :: [Time] -> Encoding #
FromJSON Time Source #
Instance details Defined in Chronos Methods parseJSON :: Value -> Parser Time # parseJSONList :: Value -> Parser [Time] #
Storable Time Source #
Instance details Defined in Chronos Methods sizeOf :: Time -> Int # alignment :: Time -> Int # peekElemOff :: Ptr Time -> Int -> IO Time # pokeElemOff :: Ptr Time -> Int -> Time -> IO () # peekByteOff :: Ptr b -> Int -> IO Time # pokeByteOff :: Ptr b -> Int -> Time -> IO () # peek :: Ptr Time -> IO Time # poke :: Ptr Time -> Time -> IO () #
Prim Time Source #
Instance details Defined in Chronos Methods sizeOf# :: Time -> Int# # alignment# :: Time -> Int# # indexByteArray# :: ByteArray# -> Int# -> Time # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#State# s, Time#) # writeByteArray# :: MutableByteArray# s -> Int# -> Time -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Time -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Time # readOffAddr# :: Addr# -> Int# -> State# s -> (#State# s, Time#) # writeOffAddr# :: Addr# -> Int# -> Time -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Time -> State# s -> State# s #
Torsor Time Timespan Source #
Instance details Defined in Chronos Methods add :: Timespan -> Time -> Time # difference :: Time -> Time -> Timespan #

newtype DayOfWeekMatch a Source #

Match a DayOfWeek. By match, we mean that a DayOfWeekMatch is a mapping from the integer value of a DayOfWeek to some value of type a. You should construct a DayOfWeekMatch with buildDayOfWeekMatch, and match it using caseDayOfWeek.

Constructors

DayOfWeekMatch
Fields getDayOfWeekMatch :: Vector a

newtype MonthMatch a Source #

Match a Month. By match, we mean that a MonthMatch is a mapping from the integer value of a Month to some value of type a. You should construct a MonthMatch with buildMonthMatch, and match it using caseMonth.

Constructors

MonthMatch
Fields getMonthMatch :: Vector a

newtype UnboxedMonthMatch a Source #

Like MonthMatch, but the matched value can have an instance of Unbox.

Constructors

UnboxedMonthMatch
Fields getUnboxedMonthMatch :: Vector a

newtype Timespan Source #

A timespan. This is represented internally as a number of nanoseconds.

Constructors

Timespan
Fields getTimespan :: Int64

Instances

Eq Timespan Source #
Instance details Defined in Chronos Methods (==) :: Timespan -> Timespan -> Bool # (/=) :: Timespan -> Timespan -> Bool #
Ord Timespan Source #
Instance details Defined in Chronos Methods compare :: Timespan -> Timespan -> Ordering # (<) :: Timespan -> Timespan -> Bool # (<=) :: Timespan -> Timespan -> Bool # (>) :: Timespan -> Timespan -> Bool # (>=) :: Timespan -> Timespan -> Bool # max :: Timespan -> Timespan -> Timespan # min :: Timespan -> Timespan -> Timespan #
Read Timespan Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Timespan # readList :: ReadS [Timespan] # readPrec :: ReadPrec Timespan # readListPrec :: ReadPrec [Timespan] #
Show Timespan Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Timespan -> ShowS # show :: Timespan -> String # showList :: [Timespan] -> ShowS #
Semigroup Timespan Source #
Instance details Defined in Chronos Methods (<>) :: Timespan -> Timespan -> Timespan # sconcat :: NonEmpty Timespan -> Timespan # stimes :: Integral b => b -> Timespan -> Timespan #
Monoid Timespan Source #
Instance details Defined in Chronos Methods mempty :: Timespan # mappend :: Timespan -> Timespan -> Timespan # mconcat :: [Timespan] -> Timespan #
ToJSON Timespan Source #
Instance details Defined in Chronos Methods toJSON :: Timespan -> Value # toEncoding :: Timespan -> Encoding # toJSONList :: [Timespan] -> Value # toEncodingList :: [Timespan] -> Encoding #
FromJSON Timespan Source #
Instance details Defined in Chronos Methods parseJSON :: Value -> Parser Timespan # parseJSONList :: Value -> Parser [Timespan] #
Additive Timespan Source #
Instance details Defined in Chronos Methods zero :: Timespan # invert :: Timespan -> Timespan # plus :: Timespan -> Timespan -> Timespan # minus :: Timespan -> Timespan -> Timespan #
Torsor Time Timespan Source #
Instance details Defined in Chronos Methods add :: Timespan -> Time -> Time # difference :: Time -> Time -> Timespan #
Scaling Timespan Int64 Source #
Instance details Defined in Chronos Methods scale :: Int64 -> Timespan -> Timespan #

data SubsecondPrecision Source #

The precision used when encoding seconds to a human-readable format.

Constructors

SubsecondPrecisionAuto	Rounds to second, millisecond, microsecond, or nanosecond
SubsecondPrecisionFixed !Int	Specify number of places after decimal

Instances

Eq SubsecondPrecision Source #
Instance details Defined in Chronos Methods (==) :: SubsecondPrecision -> SubsecondPrecision -> Bool # (/=) :: SubsecondPrecision -> SubsecondPrecision -> Bool #
Ord SubsecondPrecision Source #
Instance details Defined in Chronos Methods compare :: SubsecondPrecision -> SubsecondPrecision -> Ordering # (<) :: SubsecondPrecision -> SubsecondPrecision -> Bool # (<=) :: SubsecondPrecision -> SubsecondPrecision -> Bool # (>) :: SubsecondPrecision -> SubsecondPrecision -> Bool # (>=) :: SubsecondPrecision -> SubsecondPrecision -> Bool # max :: SubsecondPrecision -> SubsecondPrecision -> SubsecondPrecision # min :: SubsecondPrecision -> SubsecondPrecision -> SubsecondPrecision #
Read SubsecondPrecision Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS SubsecondPrecision # readList :: ReadS [SubsecondPrecision] # readPrec :: ReadPrec SubsecondPrecision # readListPrec :: ReadPrec [SubsecondPrecision] #
Show SubsecondPrecision Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> SubsecondPrecision -> ShowS # show :: SubsecondPrecision -> String # showList :: [SubsecondPrecision] -> ShowS #

data Date Source #

A date as represented by the Gregorian calendar.

Constructors

Date
Fields dateYear :: !Year dateMonth :: !Month dateDay :: !DayOfMonth

Instances

Enum Date Source #
Instance details Defined in Chronos Methods succ :: Date -> Date # pred :: Date -> Date # toEnum :: Int -> Date # fromEnum :: Date -> Int # enumFrom :: Date -> [Date] # enumFromThen :: Date -> Date -> [Date] # enumFromTo :: Date -> Date -> [Date] # enumFromThenTo :: Date -> Date -> Date -> [Date] #
Eq Date Source #
Instance details Defined in Chronos Methods (==) :: Date -> Date -> Bool # (/=) :: Date -> Date -> Bool #
Ord Date Source #
Instance details Defined in Chronos Methods compare :: Date -> Date -> Ordering # (<) :: Date -> Date -> Bool # (<=) :: Date -> Date -> Bool # (>) :: Date -> Date -> Bool # (>=) :: Date -> Date -> Bool # max :: Date -> Date -> Date # min :: Date -> Date -> Date #
Read Date Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Date # readList :: ReadS [Date] # readPrec :: ReadPrec Date # readListPrec :: ReadPrec [Date] #
Show Date Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Date -> ShowS # show :: Date -> String # showList :: [Date] -> ShowS #
Torsor Date Int Source #
Instance details Defined in Chronos Methods add :: Int -> Date -> Date # difference :: Date -> Date -> Int #

data OrdinalDate Source #

An OrdinalDate is a Year and the number of days elapsed since the Year began.

Constructors

OrdinalDate
Fields ordinalDateYear :: !Year ordinalDateDayOfYear :: !DayOfYear

Instances

Enum OrdinalDate Source #
Instance details Defined in Chronos Methods succ :: OrdinalDate -> OrdinalDate # pred :: OrdinalDate -> OrdinalDate # toEnum :: Int -> OrdinalDate # fromEnum :: OrdinalDate -> Int # enumFrom :: OrdinalDate -> [OrdinalDate] # enumFromThen :: OrdinalDate -> OrdinalDate -> [OrdinalDate] # enumFromTo :: OrdinalDate -> OrdinalDate -> [OrdinalDate] # enumFromThenTo :: OrdinalDate -> OrdinalDate -> OrdinalDate -> [OrdinalDate] #
Eq OrdinalDate Source #
Instance details Defined in Chronos Methods (==) :: OrdinalDate -> OrdinalDate -> Bool # (/=) :: OrdinalDate -> OrdinalDate -> Bool #
Ord OrdinalDate Source #
Instance details Defined in Chronos Methods compare :: OrdinalDate -> OrdinalDate -> Ordering # (<) :: OrdinalDate -> OrdinalDate -> Bool # (<=) :: OrdinalDate -> OrdinalDate -> Bool # (>) :: OrdinalDate -> OrdinalDate -> Bool # (>=) :: OrdinalDate -> OrdinalDate -> Bool # max :: OrdinalDate -> OrdinalDate -> OrdinalDate # min :: OrdinalDate -> OrdinalDate -> OrdinalDate #
Read OrdinalDate Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS OrdinalDate # readList :: ReadS [OrdinalDate] # readPrec :: ReadPrec OrdinalDate # readListPrec :: ReadPrec [OrdinalDate] #
Show OrdinalDate Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> OrdinalDate -> ShowS # show :: OrdinalDate -> String # showList :: [OrdinalDate] -> ShowS #
Torsor OrdinalDate Int Source #
Instance details Defined in Chronos Methods add :: Int -> OrdinalDate -> OrdinalDate # difference :: OrdinalDate -> OrdinalDate -> Int #

data MonthDate Source #

A month and the day of the month. This does not actually represent a specific date, since this recurs every year.

Constructors

MonthDate
Fields monthDateMonth :: !Month monthDateDay :: !DayOfMonth

Instances

Eq MonthDate Source #
Instance details Defined in Chronos Methods (==) :: MonthDate -> MonthDate -> Bool # (/=) :: MonthDate -> MonthDate -> Bool #
Ord MonthDate Source #
Instance details Defined in Chronos Methods compare :: MonthDate -> MonthDate -> Ordering # (<) :: MonthDate -> MonthDate -> Bool # (<=) :: MonthDate -> MonthDate -> Bool # (>) :: MonthDate -> MonthDate -> Bool # (>=) :: MonthDate -> MonthDate -> Bool # max :: MonthDate -> MonthDate -> MonthDate # min :: MonthDate -> MonthDate -> MonthDate #
Read MonthDate Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS MonthDate # readList :: ReadS [MonthDate] # readPrec :: ReadPrec MonthDate # readListPrec :: ReadPrec [MonthDate] #
Show MonthDate Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> MonthDate -> ShowS # show :: MonthDate -> String # showList :: [MonthDate] -> ShowS #

data Datetime Source #

A Date as represented by the Gregorian calendar and a TimeOfDay.

Constructors

Datetime
Fields datetimeDate :: !Date datetimeTime :: !TimeOfDay

Instances

Eq Datetime Source #
Instance details Defined in Chronos Methods (==) :: Datetime -> Datetime -> Bool # (/=) :: Datetime -> Datetime -> Bool #
Ord Datetime Source #
Instance details Defined in Chronos Methods compare :: Datetime -> Datetime -> Ordering # (<) :: Datetime -> Datetime -> Bool # (<=) :: Datetime -> Datetime -> Bool # (>) :: Datetime -> Datetime -> Bool # (>=) :: Datetime -> Datetime -> Bool # max :: Datetime -> Datetime -> Datetime # min :: Datetime -> Datetime -> Datetime #
Read Datetime Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS Datetime # readList :: ReadS [Datetime] # readPrec :: ReadPrec Datetime # readListPrec :: ReadPrec [Datetime] #
Show Datetime Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> Datetime -> ShowS # show :: Datetime -> String # showList :: [Datetime] -> ShowS #
ToJSON Datetime Source #
Instance details Defined in Chronos Methods toJSON :: Datetime -> Value # toEncoding :: Datetime -> Encoding # toJSONList :: [Datetime] -> Value # toEncodingList :: [Datetime] -> Encoding #

data OffsetDatetime Source #

A Datetime with a time zone Offset.

Constructors

OffsetDatetime
Fields offsetDatetimeDatetime :: !Datetime offsetDatetimeOffset :: !Offset

Instances

Eq OffsetDatetime Source #
Instance details Defined in Chronos Methods (==) :: OffsetDatetime -> OffsetDatetime -> Bool # (/=) :: OffsetDatetime -> OffsetDatetime -> Bool #
Ord OffsetDatetime Source #
Instance details Defined in Chronos Methods compare :: OffsetDatetime -> OffsetDatetime -> Ordering # (<) :: OffsetDatetime -> OffsetDatetime -> Bool # (<=) :: OffsetDatetime -> OffsetDatetime -> Bool # (>) :: OffsetDatetime -> OffsetDatetime -> Bool # (>=) :: OffsetDatetime -> OffsetDatetime -> Bool # max :: OffsetDatetime -> OffsetDatetime -> OffsetDatetime # min :: OffsetDatetime -> OffsetDatetime -> OffsetDatetime #
Read OffsetDatetime Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS OffsetDatetime # readList :: ReadS [OffsetDatetime] # readPrec :: ReadPrec OffsetDatetime # readListPrec :: ReadPrec [OffsetDatetime] #
Show OffsetDatetime Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> OffsetDatetime -> ShowS # show :: OffsetDatetime -> String # showList :: [OffsetDatetime] -> ShowS #

data TimeOfDay Source #

A time of day with nanosecond resolution.

Constructors

TimeOfDay
Fields timeOfDayHour :: !Int timeOfDayMinute :: !Int timeOfDayNanoseconds :: !Int64

Instances

Eq TimeOfDay Source #
Instance details Defined in Chronos Methods (==) :: TimeOfDay -> TimeOfDay -> Bool # (/=) :: TimeOfDay -> TimeOfDay -> Bool #
Ord TimeOfDay Source #
Instance details Defined in Chronos Methods compare :: TimeOfDay -> TimeOfDay -> Ordering # (<) :: TimeOfDay -> TimeOfDay -> Bool # (<=) :: TimeOfDay -> TimeOfDay -> Bool # (>) :: TimeOfDay -> TimeOfDay -> Bool # (>=) :: TimeOfDay -> TimeOfDay -> Bool # max :: TimeOfDay -> TimeOfDay -> TimeOfDay # min :: TimeOfDay -> TimeOfDay -> TimeOfDay #
Read TimeOfDay Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS TimeOfDay # readList :: ReadS [TimeOfDay] # readPrec :: ReadPrec TimeOfDay # readListPrec :: ReadPrec [TimeOfDay] #
Show TimeOfDay Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> TimeOfDay -> ShowS # show :: TimeOfDay -> String # showList :: [TimeOfDay] -> ShowS #

data DatetimeFormat Source #

The format of a Datetime. In particular this provides separators for parts of the Datetime and nothing else.

Constructors

DatetimeFormat
Fields datetimeFormatDateSeparator :: !(Maybe Char) Separator in the date datetimeFormatSeparator :: !(Maybe Char) Separator between date and time datetimeFormatTimeSeparator :: !(Maybe Char) Separator in the time

Instances

Eq DatetimeFormat Source #
Instance details Defined in Chronos Methods (==) :: DatetimeFormat -> DatetimeFormat -> Bool # (/=) :: DatetimeFormat -> DatetimeFormat -> Bool #
Ord DatetimeFormat Source #
Instance details Defined in Chronos Methods compare :: DatetimeFormat -> DatetimeFormat -> Ordering # (<) :: DatetimeFormat -> DatetimeFormat -> Bool # (<=) :: DatetimeFormat -> DatetimeFormat -> Bool # (>) :: DatetimeFormat -> DatetimeFormat -> Bool # (>=) :: DatetimeFormat -> DatetimeFormat -> Bool # max :: DatetimeFormat -> DatetimeFormat -> DatetimeFormat # min :: DatetimeFormat -> DatetimeFormat -> DatetimeFormat #
Read DatetimeFormat Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS DatetimeFormat # readList :: ReadS [DatetimeFormat] # readPrec :: ReadPrec DatetimeFormat # readListPrec :: ReadPrec [DatetimeFormat] #
Show DatetimeFormat Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> DatetimeFormat -> ShowS # show :: DatetimeFormat -> String # showList :: [DatetimeFormat] -> ShowS #

data OffsetFormat Source #

Formatting settings for a timezone offset.

Constructors

OffsetFormatColonOff	`%z` (e.g., -0400)
OffsetFormatColonOn	`%:z` (e.g., -04:00)
OffsetFormatSecondsPrecision	`%::z` (e.g., -04:00:00)
OffsetFormatColonAuto	`%:::z` (e.g., -04, +05:30)

Instances

Bounded OffsetFormat Source #
Instance details Defined in Chronos Methods minBound :: OffsetFormat # maxBound :: OffsetFormat #
Enum OffsetFormat Source #
Instance details Defined in Chronos Methods succ :: OffsetFormat -> OffsetFormat # pred :: OffsetFormat -> OffsetFormat # toEnum :: Int -> OffsetFormat # fromEnum :: OffsetFormat -> Int # enumFrom :: OffsetFormat -> [OffsetFormat] # enumFromThen :: OffsetFormat -> OffsetFormat -> [OffsetFormat] # enumFromTo :: OffsetFormat -> OffsetFormat -> [OffsetFormat] # enumFromThenTo :: OffsetFormat -> OffsetFormat -> OffsetFormat -> [OffsetFormat] #
Eq OffsetFormat Source #
Instance details Defined in Chronos Methods (==) :: OffsetFormat -> OffsetFormat -> Bool # (/=) :: OffsetFormat -> OffsetFormat -> Bool #
Ord OffsetFormat Source #
Instance details Defined in Chronos Methods compare :: OffsetFormat -> OffsetFormat -> Ordering # (<) :: OffsetFormat -> OffsetFormat -> Bool # (<=) :: OffsetFormat -> OffsetFormat -> Bool # (>) :: OffsetFormat -> OffsetFormat -> Bool # (>=) :: OffsetFormat -> OffsetFormat -> Bool # max :: OffsetFormat -> OffsetFormat -> OffsetFormat # min :: OffsetFormat -> OffsetFormat -> OffsetFormat #
Read OffsetFormat Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS OffsetFormat # readList :: ReadS [OffsetFormat] # readPrec :: ReadPrec OffsetFormat # readListPrec :: ReadPrec [OffsetFormat] #
Show OffsetFormat Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> OffsetFormat -> ShowS # show :: OffsetFormat -> String # showList :: [OffsetFormat] -> ShowS #
Generic OffsetFormat Source #
Instance details Defined in Chronos Associated Types type Rep OffsetFormat :: Type -> Type # Methods from :: OffsetFormat -> Rep OffsetFormat x # to :: Rep OffsetFormat x -> OffsetFormat #
type Rep OffsetFormat Source #
Instance details Defined in Chronos type Rep OffsetFormat = D1 (MetaData "OffsetFormat" "Chronos" "chronos-1.0.7-FNJ1weYR8Mo8KZhnT2UtCd" False) ((C1 (MetaCons "OffsetFormatColonOff" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OffsetFormatColonOn" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "OffsetFormatSecondsPrecision" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OffsetFormatColonAuto" PrefixI False) (U1 :: Type -> Type)))

data DatetimeLocale a Source #

Locale-specific formatting for weekdays and months. The type variable will likely be instantiated to Text or ByteString.

Constructors

DatetimeLocale

Fields

datetimeLocaleDaysOfWeekFull :: !(DayOfWeekMatch a)
full weekdays starting with Sunday, 7 elements
datetimeLocaleDaysOfWeekAbbreviated :: !(DayOfWeekMatch a)
abbreviated weekdays starting with Sunday, 7 elements
datetimeLocaleMonthsFull :: !(MonthMatch a)
full months starting with January, 12 elements
datetimeLocaleMonthsAbbreviated :: !(MonthMatch a)
abbreviated months starting with January, 12 elements

data MeridiemLocale a Source #

Locale-specific formatting for AM and PM.

Constructors

MeridiemLocale
Fields meridiemLocaleAm :: !a meridiemLocalePm :: !a

Instances

Eq a => Eq (MeridiemLocale a) Source #
Instance details Defined in Chronos Methods (==) :: MeridiemLocale a -> MeridiemLocale a -> Bool # (/=) :: MeridiemLocale a -> MeridiemLocale a -> Bool #
Ord a => Ord (MeridiemLocale a) Source #
Instance details Defined in Chronos Methods compare :: MeridiemLocale a -> MeridiemLocale a -> Ordering # (<) :: MeridiemLocale a -> MeridiemLocale a -> Bool # (<=) :: MeridiemLocale a -> MeridiemLocale a -> Bool # (>) :: MeridiemLocale a -> MeridiemLocale a -> Bool # (>=) :: MeridiemLocale a -> MeridiemLocale a -> Bool # max :: MeridiemLocale a -> MeridiemLocale a -> MeridiemLocale a # min :: MeridiemLocale a -> MeridiemLocale a -> MeridiemLocale a #
Read a => Read (MeridiemLocale a) Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS (MeridiemLocale a) # readList :: ReadS [MeridiemLocale a] # readPrec :: ReadPrec (MeridiemLocale a) # readListPrec :: ReadPrec [MeridiemLocale a] #
Show a => Show (MeridiemLocale a) Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> MeridiemLocale a -> ShowS # show :: MeridiemLocale a -> String # showList :: [MeridiemLocale a] -> ShowS #

data TimeInterval Source #

A TimeInterval represents a start and end time. It can sometimes be more ergonomic than the Torsor API when you only care about whether or not a Time is within a certain range.

To construct a TimeInterval, it is best to use timeIntervalBuilder, which maintains the invariant that lowerBound interval <= upperBound interval (all functions that act on TimeIntervals assume this invariant).

Constructors

TimeInterval !Time !Time

Instances

Bounded TimeInterval Source #
Instance details Defined in Chronos Methods minBound :: TimeInterval # maxBound :: TimeInterval #
Eq TimeInterval Source #
Instance details Defined in Chronos Methods (==) :: TimeInterval -> TimeInterval -> Bool # (/=) :: TimeInterval -> TimeInterval -> Bool #
Ord TimeInterval Source #
Instance details Defined in Chronos Methods compare :: TimeInterval -> TimeInterval -> Ordering # (<) :: TimeInterval -> TimeInterval -> Bool # (<=) :: TimeInterval -> TimeInterval -> Bool # (>) :: TimeInterval -> TimeInterval -> Bool # (>=) :: TimeInterval -> TimeInterval -> Bool # max :: TimeInterval -> TimeInterval -> TimeInterval # min :: TimeInterval -> TimeInterval -> TimeInterval #
Read TimeInterval Source #
Instance details Defined in Chronos Methods readsPrec :: Int -> ReadS TimeInterval # readList :: ReadS [TimeInterval] # readPrec :: ReadPrec TimeInterval # readListPrec :: ReadPrec [TimeInterval] #
Show TimeInterval Source #
Instance details Defined in Chronos Methods showsPrec :: Int -> TimeInterval -> ShowS # show :: TimeInterval -> String # showList :: [TimeInterval] -> ShowS #