Safe Haskell	None
Language	Haskell2010

Data.Time.Hora.Part

Contents

FromUTC
ToUTC
DatePartSmall

Description

convert between UTCTime, UTCTimeBin, DatePart, DatePartSmall

Synopsis

class FromUTC a where
fromUtc' :: (Tz' tz, Integral a) => tz -> UTCTime -> Tz (DatePart a)
class ToUTC a where
mkDay :: Integral a => a -> a -> a -> DatePartSmall
mkMin :: (Num a, Integral a) => a -> a -> DatePartSmall
mkMs :: (Num a, Integral a) => a -> a -> DatePartSmall
normalize :: DatePartSmall -> DatePartSmall
julian_day_offset :: Integral a => a

FromUTC

class FromUTC a where Source #

Minimal complete definition

fromUtc

Methods

fromUtc :: UTCTime -> a Source #

Instances

FromUTC DatePartSmall Source #
Instance details Defined in Data.Time.Hora.Part Methods fromUtc :: UTCTime -> DatePartSmall Source #
FromUTC UTCTimeBin Source #
Instance details Defined in Data.Time.Hora.Part Methods fromUtc :: UTCTime -> UTCTimeBin Source #
Integral a => FromUTC (DatePart a) Source #	returns DatePart a in UTC timezone
Instance details Defined in Data.Time.Hora.Part Methods fromUtc :: UTCTime -> DatePart a Source #

fromUtc' :: (Tz' tz, Integral a) => tz -> UTCTime -> Tz (DatePart a) Source #

specified time zone

Tz (DatePart a) parts show local date & time

ToUTC

class ToUTC a where Source #

convert DatePart -> UTCTime

Invalid date returns Nothing

Minimal complete definition

toUtc

Methods

toUtc :: a -> Maybe UTCTime Source #

Instances

ToUTC DatePartSmall Source #
Instance details Defined in Data.Time.Hora.Part Methods toUtc :: DatePartSmall -> Maybe UTCTime Source #
ToUTC UTCTimeBin Source #
Instance details Defined in Data.Time.Hora.Part Methods toUtc :: UTCTimeBin -> Maybe UTCTime Source #
Integral a => ToUTC (Tz (DatePart a)) Source #
Instance details Defined in Data.Time.Hora.Part Methods toUtc :: Tz (DatePart a) -> Maybe UTCTime Source #
Integral a => ToUTC (DatePart a) Source #	assumes DatePart is UTC
Instance details Defined in Data.Time.Hora.Part Methods toUtc :: DatePart a -> Maybe UTCTime Source #

`DatePartSmall`

mkDay Source #

Arguments

:: Integral a
=> a	year
-> a	month
-> a	day
-> DatePartSmall	`Day`

day / date

mkMin Source #

Arguments

:: (Num a, Integral a)
=> a	hour
-> a	minute
-> DatePartSmall	`Min`

minutes including hours

mkMs Source #

Arguments

:: (Num a, Integral a)
=> a	second
-> a	millisecond
-> DatePartSmall	`Ms`

milliseconds including seconds

normalize :: DatePartSmall -> DatePartSmall Source #

for (Time, DatePartSmall) increase:

minutes if seconds > 60

days if minutes > 24 * 60

! does not change the constructor. Time remains Time

this function is called by toUtc before the conversion

julian_day_offset :: Integral a => a Source #

Julian day offset

https://en.wikipedia.org/wiki/Julian_day

>>> mkDay 1 1 1 `shouldBe` (Day 1)

>>> mkDay 1858 11 17 `shouldBe` (Day julian_day_offset)