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, not yet available, will 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

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 #
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 #
Methods (==) :: Day -> Day -> Bool # (/=) :: Day -> Day -> Bool #
Ord Day Source #
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 #
Methods readsPrec :: Int -> ReadS Day # readList :: ReadS [Day] # readPrec :: ReadPrec Day # readListPrec :: ReadPrec [Day] #
Show Day Source #
Methods showsPrec :: Int -> Day -> ShowS # show :: Day -> String # showList :: [Day] -> ShowS #
Hashable Day Source #
Methods hashWithSalt :: Int -> Day -> Int # hash :: Day -> Int #
ToJSON Day Source #
Methods toJSON :: Day -> Value # toEncoding :: Day -> Encoding # toJSONList :: [Day] -> Value # toEncodingList :: [Day] -> Encoding #
FromJSON Day Source #
Methods parseJSON :: Value -> Parser Day # parseJSONList :: Value -> Parser [Day] #
Storable Day Source #
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 #
Methods sizeOf# :: Day -> Int# # alignment# :: Day -> Int# # indexByteArray# :: ByteArray# -> Int# -> Day # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, 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 -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Day#) # writeOffAddr# :: Addr# -> Int# -> Day -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Day -> State# s -> State# s #
Torsor Day Int Source #
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 #
Methods (==) :: DayOfWeek -> DayOfWeek -> Bool # (/=) :: DayOfWeek -> DayOfWeek -> Bool #
Ord DayOfWeek Source #
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 #
Methods readsPrec :: Int -> ReadS DayOfWeek # readList :: ReadS [DayOfWeek] # readPrec :: ReadPrec DayOfWeek # readListPrec :: ReadPrec [DayOfWeek] #
Show DayOfWeek Source #
Methods showsPrec :: Int -> DayOfWeek -> ShowS # show :: DayOfWeek -> String # showList :: [DayOfWeek] -> ShowS #
Hashable DayOfWeek Source #
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 #
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 #
Methods (==) :: DayOfMonth -> DayOfMonth -> Bool # (/=) :: DayOfMonth -> DayOfMonth -> Bool #
Ord DayOfMonth Source #
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 #
Methods readsPrec :: Int -> ReadS DayOfMonth # readList :: ReadS [DayOfMonth] # readPrec :: ReadPrec DayOfMonth # readListPrec :: ReadPrec [DayOfMonth] #
Show DayOfMonth Source #
Methods showsPrec :: Int -> DayOfMonth -> ShowS # show :: DayOfMonth -> String # showList :: [DayOfMonth] -> ShowS #
Prim DayOfMonth Source #
Methods sizeOf# :: DayOfMonth -> Int# # alignment# :: DayOfMonth -> Int# # indexByteArray# :: ByteArray# -> Int# -> DayOfMonth # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, 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 -> (#TupleRep [RuntimeRep], LiftedRep, State# s, DayOfMonth#) # writeOffAddr# :: Addr# -> Int# -> DayOfMonth -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> DayOfMonth -> State# s -> State# s #
Unbox DayOfMonth Source #

Vector Vector DayOfMonth Source #
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 #
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) #
data Vector DayOfMonth Source #
data Vector DayOfMonth = V_DayOfMonth (Vector DayOfMonth)
data MVector s DayOfMonth Source #
data 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 #
Methods (==) :: DayOfYear -> DayOfYear -> Bool # (/=) :: DayOfYear -> DayOfYear -> Bool #
Ord DayOfYear Source #
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 #
Methods readsPrec :: Int -> ReadS DayOfYear # readList :: ReadS [DayOfYear] # readPrec :: ReadPrec DayOfYear # readListPrec :: ReadPrec [DayOfYear] #
Show DayOfYear Source #
Methods showsPrec :: Int -> DayOfYear -> ShowS # show :: DayOfYear -> String # showList :: [DayOfYear] -> ShowS #
Prim DayOfYear Source #
Methods sizeOf# :: DayOfYear -> Int# # alignment# :: DayOfYear -> Int# # indexByteArray# :: ByteArray# -> Int# -> DayOfYear # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, 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 -> (#TupleRep [RuntimeRep], LiftedRep, 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 #
Methods minBound :: Month # maxBound :: Month #
Enum Month Source #
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 #
Methods (==) :: Month -> Month -> Bool # (/=) :: Month -> Month -> Bool #
Ord Month Source #
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 #
Methods readsPrec :: Int -> ReadS Month # readList :: ReadS [Month] # readPrec :: ReadPrec Month # readListPrec :: ReadPrec [Month] #
Show Month Source #
Methods showsPrec :: Int -> Month -> ShowS # show :: Month -> String # showList :: [Month] -> ShowS #
Prim Month Source #
Methods sizeOf# :: Month -> Int# # alignment# :: Month -> Int# # indexByteArray# :: ByteArray# -> Int# -> Month # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, 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 -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Month#) # writeOffAddr# :: Addr# -> Int# -> Month -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Month -> State# s -> State# s #
Unbox Month Source #

Vector Vector Month Source #
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 #
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) #
data Vector Month Source #
data Vector Month = V_Month (Vector Month)
data MVector s Month Source #
data 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 #
Methods (==) :: Year -> Year -> Bool # (/=) :: Year -> Year -> Bool #
Ord Year Source #
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 #
Methods readsPrec :: Int -> ReadS Year # readList :: ReadS [Year] # readPrec :: ReadPrec Year # readListPrec :: ReadPrec [Year] #
Show Year Source #
Methods showsPrec :: Int -> Year -> ShowS # show :: Year -> String # showList :: [Year] -> ShowS #

newtype Offset Source #

Constructors

Offset
Fields getOffset :: Int

Instances

Enum Offset Source #
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 #
Methods (==) :: Offset -> Offset -> Bool # (/=) :: Offset -> Offset -> Bool #
Ord Offset Source #
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 #
Methods readsPrec :: Int -> ReadS Offset # readList :: ReadS [Offset] # readPrec :: ReadPrec Offset # readListPrec :: ReadPrec [Offset] #
Show Offset Source #
Methods showsPrec :: Int -> Offset -> ShowS # show :: Offset -> String # showList :: [Offset] -> ShowS #
ToJSON Offset Source #
Methods toJSON :: Offset -> Value # toEncoding :: Offset -> Encoding # toJSONList :: [Offset] -> Value # toEncodingList :: [Offset] -> Encoding #
ToJSONKey Offset Source #
Methods toJSONKey :: ToJSONKeyFunction Offset # toJSONKeyList :: ToJSONKeyFunction [Offset] #
FromJSON Offset Source #
Methods parseJSON :: Value -> Parser Offset # parseJSONList :: Value -> Parser [Offset] #
FromJSONKey Offset Source #
Methods fromJSONKey :: FromJSONKeyFunction Offset # fromJSONKeyList :: FromJSONKeyFunction [Offset] #
Torsor Offset Int Source #
Methods add :: Int -> Offset -> Offset # difference :: Offset -> Offset -> Int #

newtype Time Source #

POSIX time with nanosecond resolution.

Constructors

Time
Fields getTime :: Int64

Instances

Eq Time Source #
Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Ord Time Source #
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 #
Methods readsPrec :: Int -> ReadS Time # readList :: ReadS [Time] # readPrec :: ReadPrec Time # readListPrec :: ReadPrec [Time] #
Show Time Source #
Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
Hashable Time Source #
Methods hashWithSalt :: Int -> Time -> Int # hash :: Time -> Int #
ToJSON Time Source #
Methods toJSON :: Time -> Value # toEncoding :: Time -> Encoding # toJSONList :: [Time] -> Value # toEncodingList :: [Time] -> Encoding #
FromJSON Time Source #
Methods parseJSON :: Value -> Parser Time # parseJSONList :: Value -> Parser [Time] #
Storable Time Source #
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 #
Methods sizeOf# :: Time -> Int# # alignment# :: Time -> Int# # indexByteArray# :: ByteArray# -> Int# -> Time # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#TupleRep [RuntimeRep], LiftedRep, 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 -> (#TupleRep [RuntimeRep], LiftedRep, State# s, Time#) # writeOffAddr# :: Addr# -> Int# -> Time -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Time -> State# s -> State# s #
Torsor Time Timespan Source #
Methods add :: Timespan -> Time -> Time # difference :: Time -> Time -> Timespan #

newtype DayOfWeekMatch a Source #

Constructors

DayOfWeekMatch
Fields getDayOfWeekMatch :: Vector a

newtype MonthMatch a Source #

Constructors

MonthMatch
Fields getMonthMatch :: Vector a

newtype UnboxedMonthMatch a Source #

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 #
Methods (==) :: Timespan -> Timespan -> Bool # (/=) :: Timespan -> Timespan -> Bool #
Ord Timespan Source #
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 #
Methods readsPrec :: Int -> ReadS Timespan # readList :: ReadS [Timespan] # readPrec :: ReadPrec Timespan # readListPrec :: ReadPrec [Timespan] #
Show Timespan Source #
Methods showsPrec :: Int -> Timespan -> ShowS # show :: Timespan -> String # showList :: [Timespan] -> ShowS #
Monoid Timespan Source #
Methods mempty :: Timespan # mappend :: Timespan -> Timespan -> Timespan # mconcat :: [Timespan] -> Timespan #
ToJSON Timespan Source #
Methods toJSON :: Timespan -> Value # toEncoding :: Timespan -> Encoding # toJSONList :: [Timespan] -> Value # toEncodingList :: [Timespan] -> Encoding #
FromJSON Timespan Source #
Methods parseJSON :: Value -> Parser Timespan # parseJSONList :: Value -> Parser [Timespan] #
Additive Timespan Source #
Methods zero :: Timespan # invert :: Timespan -> Timespan # plus :: Timespan -> Timespan -> Timespan # minus :: Timespan -> Timespan -> Timespan #
Torsor Time Timespan Source #
Methods add :: Timespan -> Time -> Time # difference :: Time -> Time -> Timespan #
Scaling Timespan Int64 Source #
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

data Date Source #

A date as represented by the Gregorian calendar.

Constructors

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

Instances

Enum Date Source #
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 #
Methods (==) :: Date -> Date -> Bool # (/=) :: Date -> Date -> Bool #
Ord Date Source #
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 #
Methods readsPrec :: Int -> ReadS Date # readList :: ReadS [Date] # readPrec :: ReadPrec Date # readListPrec :: ReadPrec [Date] #
Show Date Source #
Methods showsPrec :: Int -> Date -> ShowS # show :: Date -> String # showList :: [Date] -> ShowS #
Torsor Date Int Source #
Methods add :: Int -> Date -> Date # difference :: Date -> Date -> Int #

data OrdinalDate Source #

The year and number of days elapsed since the beginning it began.

Constructors

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

Instances

Enum OrdinalDate Source #
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 #
Methods (==) :: OrdinalDate -> OrdinalDate -> Bool # (/=) :: OrdinalDate -> OrdinalDate -> Bool #
Ord OrdinalDate Source #
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 #
Methods readsPrec :: Int -> ReadS OrdinalDate # readList :: ReadS [OrdinalDate] # readPrec :: ReadPrec OrdinalDate # readListPrec :: ReadPrec [OrdinalDate] #
Show OrdinalDate Source #
Methods showsPrec :: Int -> OrdinalDate -> ShowS # show :: OrdinalDate -> String # showList :: [OrdinalDate] -> ShowS #
Torsor OrdinalDate Int Source #
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 #
Methods (==) :: MonthDate -> MonthDate -> Bool # (/=) :: MonthDate -> MonthDate -> Bool #
Ord MonthDate Source #
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 #
Methods readsPrec :: Int -> ReadS MonthDate # readList :: ReadS [MonthDate] # readPrec :: ReadPrec MonthDate # readListPrec :: ReadPrec [MonthDate] #
Show MonthDate Source #
Methods showsPrec :: Int -> MonthDate -> ShowS # show :: MonthDate -> String # showList :: [MonthDate] -> ShowS #

data Datetime Source #

A date as represented by the Gregorian calendar and a time of day.

Constructors

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

Instances

Eq Datetime Source #
Methods (==) :: Datetime -> Datetime -> Bool # (/=) :: Datetime -> Datetime -> Bool #
Ord Datetime Source #
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 #
Methods readsPrec :: Int -> ReadS Datetime # readList :: ReadS [Datetime] # readPrec :: ReadPrec Datetime # readListPrec :: ReadPrec [Datetime] #
Show Datetime Source #
Methods showsPrec :: Int -> Datetime -> ShowS # show :: Datetime -> String # showList :: [Datetime] -> ShowS #
ToJSON Datetime Source #
Methods toJSON :: Datetime -> Value # toEncoding :: Datetime -> Encoding # toJSONList :: [Datetime] -> Value # toEncodingList :: [Datetime] -> Encoding #

data OffsetDatetime Source #

Constructors

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

Instances

Eq OffsetDatetime Source #
Methods (==) :: OffsetDatetime -> OffsetDatetime -> Bool # (/=) :: OffsetDatetime -> OffsetDatetime -> Bool #
Ord OffsetDatetime Source #
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 #
Methods readsPrec :: Int -> ReadS OffsetDatetime # readList :: ReadS [OffsetDatetime] # readPrec :: ReadPrec OffsetDatetime # readListPrec :: ReadPrec [OffsetDatetime] #
Show OffsetDatetime Source #
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 #
Methods (==) :: TimeOfDay -> TimeOfDay -> Bool # (/=) :: TimeOfDay -> TimeOfDay -> Bool #
Ord TimeOfDay Source #
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 #
Methods readsPrec :: Int -> ReadS TimeOfDay # readList :: ReadS [TimeOfDay] # readPrec :: ReadPrec TimeOfDay # readListPrec :: ReadPrec [TimeOfDay] #
Show TimeOfDay Source #
Methods showsPrec :: Int -> TimeOfDay -> ShowS # show :: TimeOfDay -> String # showList :: [TimeOfDay] -> ShowS #

data DatetimeFormat Source #

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 #
Methods (==) :: DatetimeFormat -> DatetimeFormat -> Bool # (/=) :: DatetimeFormat -> DatetimeFormat -> Bool #
Ord DatetimeFormat Source #
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 #
Methods readsPrec :: Int -> ReadS DatetimeFormat # readList :: ReadS [DatetimeFormat] # readPrec :: ReadPrec DatetimeFormat # readListPrec :: ReadPrec [DatetimeFormat] #
Show DatetimeFormat Source #
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 #
Methods minBound :: OffsetFormat # maxBound :: OffsetFormat #
Enum OffsetFormat Source #
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 #
Methods (==) :: OffsetFormat -> OffsetFormat -> Bool # (/=) :: OffsetFormat -> OffsetFormat -> Bool #
Ord OffsetFormat Source #
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 #
Methods readsPrec :: Int -> ReadS OffsetFormat # readList :: ReadS [OffsetFormat] # readPrec :: ReadPrec OffsetFormat # readListPrec :: ReadPrec [OffsetFormat] #
Show OffsetFormat Source #
Methods showsPrec :: Int -> OffsetFormat -> ShowS # show :: OffsetFormat -> String # showList :: [OffsetFormat] -> ShowS #
Generic OffsetFormat Source #
Associated Types type Rep OffsetFormat :: * -> * # Methods from :: OffsetFormat -> Rep OffsetFormat x # to :: Rep OffsetFormat x -> OffsetFormat #
type Rep OffsetFormat Source #
type Rep OffsetFormat = D1 * (MetaData "OffsetFormat" "Chronos" "chronos-1.0.2-LX5OBW1NR1W5ko6b7nIgd6" False) ((:+:) * ((:+:) * (C1 * (MetaCons "OffsetFormatColonOff" PrefixI False) (U1 )) (C1 (MetaCons "OffsetFormatColonOn" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "OffsetFormatSecondsPrecision" PrefixI False) (U1 )) (C1 (MetaCons "OffsetFormatColonAuto" PrefixI False) (U1 *))))

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 #
Methods (==) :: MeridiemLocale a -> MeridiemLocale a -> Bool # (/=) :: MeridiemLocale a -> MeridiemLocale a -> Bool #
Ord a => Ord (MeridiemLocale a) Source #
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 #
Methods readsPrec :: Int -> ReadS (MeridiemLocale a) # readList :: ReadS [MeridiemLocale a] # readPrec :: ReadPrec (MeridiemLocale a) # readListPrec :: ReadPrec [MeridiemLocale a] #
Show a => Show (MeridiemLocale a) Source #
Methods showsPrec :: Int -> MeridiemLocale a -> ShowS # show :: MeridiemLocale a -> String # showList :: [MeridiemLocale a] -> ShowS #