Data.HodaTime.Instant

An Instant is universal fixed moment in time.

Types

data Instant

Represents a point on a global time line. An Instant has no concept of time zone or calendar. It is nothing more than the number of nanoseconds since epoch (1.March.2000)

Instances

Eq Instant

Methods

(==) :: Instant -> Instant -> Bool

(/=) :: Instant -> Instant -> Bool

Ord Instant

Methods

compare :: Instant -> Instant -> Ordering

(<) :: Instant -> Instant -> Bool

(<=) :: Instant -> Instant -> Bool

(>) :: Instant -> Instant -> Bool

(>=) :: Instant -> Instant -> Bool

max :: Instant -> Instant -> Instant

min :: Instant -> Instant -> Instant

Show Instant

Methods

showsPrec :: Int -> Instant -> ShowS

show :: Instant -> String

showList :: [Instant] -> ShowS

Constructors

fromSecondsSinceUnixEpoch :: Int -> Instant

Create an Instant from an Int that represents a Unix Epoch

now :: IO Instant

Create an Instant from the current system time

Math

add :: Instant -> Duration -> Instant

Add a Duration to an Instant to get a future Instant. NOTE: does not handle all negative durations, use minus

difference :: Instant -> Instant -> Duration

Get the difference between two instances

minus :: Instant -> Duration -> Instant

} -- | Create an OffsetDateTime from this Instant and an Offset withOffset :: Instant -> Offset -> Calendar -> OffsetDateTime withOffset instant offset calendar = OffsetDateTime (LocalDateTime date time) offset -- TODO: I'm not sure I like applying the offset on construction. See if we can defer it where instant' = instant add (D.fromSeconds . fromIntegral . offsetSeconds $ offset) time = LTI.fromInstant instant' date | calendar == Gregorian || calendar == Iso = GI.fromInstantInCalendar instant' calendar | otherwise = undefined -- TODO: Why does compiler think this isn't total without the otherwise?

• - | Convert Instant Into a ZonedDateTime based on the supplied TimeZone and Calendar inZone :: Instant -> TimeZone -> Calendar -> ZonedDateTime inZone instant UTCzone calendar = ZonedDateTime odt UTCzone where odt = withOffset instant Offset.empty calendar inZone instant tzi@TimeZone { } calendar = ZonedDateTime odt tzi where odt = withOffset instant offset calendar offset | otherwise = undefined -- TODO: When TimeZone module is implemented we can finish this (look at the olson time zone series from hackage, but we can't use it all)

Subtract a Duration from an Instant to get an Instant in the past. NOTE: does not handle negative durations, use add

Conversion

inUtc :: Instant -> ZonedDateTime

Convert Instant to a ZonedDateTime in the UTC time zone, ISO calendar

Debug - to be removed

fromInstant :: Instant -> LocalTime