Data.Time.Hora.Type

DatePart

data DatePart a

serializeable structure for essential Date, Time parts

see Data.Time.Hora.Part for conversion between UTCTime and DatePart

Constructors

DatePart

Fields

• year :: a
• month :: a
• day :: a
• hour :: a
• minute :: a
• second :: a
• pico :: a

  excludes seconds. Just fraction as Num

Instances

Functor DatePart

for ease of conversion

Methods

fmap :: (a -> b) -> DatePart a -> DatePart b

(<$) :: a -> DatePart b -> DatePart a

Integral a => ToTimeZone UTCTime (Tz (DatePart a))

similar to fromUtc' but safer around dates when e.g. Summer time changes

Methods

toTimeZone :: TimeZoneSeries -> UTCTime -> Tz (DatePart a)

Eq a => Eq (DatePart a)

Methods

(==) :: DatePart a -> DatePart a -> Bool

(/=) :: DatePart a -> DatePart a -> Bool

Ord a => Ord (DatePart a)

Methods

compare :: DatePart a -> DatePart a -> Ordering

(<) :: DatePart a -> DatePart a -> Bool

(<=) :: DatePart a -> DatePart a -> Bool

(>) :: DatePart a -> DatePart a -> Bool

(>=) :: DatePart a -> DatePart a -> Bool

max :: DatePart a -> DatePart a -> DatePart a

min :: DatePart a -> DatePart a -> DatePart a

Show a => Show (DatePart a)

Methods

showsPrec :: Int -> DatePart a -> ShowS

show :: DatePart a -> String

showList :: [DatePart a] -> ShowS

Generic (DatePart a)

Associated Types

type Rep (DatePart a) :: * -> *

Methods

from :: DatePart a -> Rep (DatePart a) x

to :: Rep (DatePart a) x -> DatePart a

Binary (DatePart Int)

serializeable

Methods

put :: DatePart Int -> Put

get :: Get (DatePart Int)

putList :: [DatePart Int] -> Put

Binary (DatePart Integer)

serializeable

Methods

put :: DatePart Integer -> Put

get :: Get (DatePart Integer)

putList :: [DatePart Integer] -> Put

Binary (DatePart String)

serializeable

Methods

put :: DatePart String -> Put

get :: Get (DatePart String)

putList :: [DatePart String] -> Put

Integral a => ToUTC (Tz (DatePart a))

Methods

toUtc :: Tz (DatePart a) -> Maybe UTCTime

Integral a => ToUTC (DatePart a)

assumes DatePart is UTC

Methods

toUtc :: DatePart a -> Maybe UTCTime

Integral a => Now (Tz (DatePart a))

local timezone

Tz (DatePart a) parts show local date & time

>>> now::IO(Tz (DatePart Int))
Tz CET (DatePart {year = 2016, month = 12, day = 15, hour = 11, minute = 21, second = 21, pico = 657029375000})     

Methods

now :: IO (Tz (DatePart a))

Integral a => Now (DatePart a)

UTC

>>> now::IO(DatePart Int)
DatePart {year = 2016, month = 12, day = 15, hour = 10, minute = 20, second = 31, pico = 494880242000}

Methods

now :: IO (DatePart a)

Integral a => ToTimeZone (Tz (DatePart a)) (Maybe (Tz (DatePart a)))

convert DatePart from one TimeZone to another

Methods

toTimeZone :: TimeZoneSeries -> Tz (DatePart a) -> Maybe (Tz (DatePart a))

type Rep (DatePart a)

type Rep (DatePart a) = D1 (MetaData "DatePart" "Data.Time.Hora.Type" "hora-2.0-FzE0gJbJ2El69m2PaW0NnZ" False) (C1 (MetaCons "DatePart" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "year") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) ((:*:) (S1 (MetaSel (Just Symbol "month") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Just Symbol "day") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "hour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Just Symbol "minute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) ((:*:) (S1 (MetaSel (Just Symbol "second") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Just Symbol "pico") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))))

Tz

data Tz a

Tz (DatePart a) parts show local date & time

for conversions between timezones see Data.Time.Hora.Zone

Constructors

Tz TimeZone a

Instances

Functor Tz

Methods

fmap :: (a -> b) -> Tz a -> Tz b

(<$) :: a -> Tz b -> Tz a

Integral a => ToTimeZone UTCTime (Tz (DatePart a))

similar to fromUtc' but safer around dates when e.g. Summer time changes

Methods

toTimeZone :: TimeZoneSeries -> UTCTime -> Tz (DatePart a)

Show a => Show (Tz a)

Methods

showsPrec :: Int -> Tz a -> ShowS

show :: Tz a -> String

showList :: [Tz a] -> ShowS

Integral a => ToUTC (Tz (DatePart a))

Methods

toUtc :: Tz (DatePart a) -> Maybe UTCTime

Timestamp (Tz String)

local timezone

Methods

ts :: [Format] -> IO (Tz String)

Integral a => Now (Tz (DatePart a))

local timezone

Tz (DatePart a) parts show local date & time

>>> now::IO(Tz (DatePart Int))
Tz CET (DatePart {year = 2016, month = 12, day = 15, hour = 11, minute = 21, second = 21, pico = 657029375000})     

Methods

now :: IO (Tz (DatePart a))

Integral a => ToTimeZone (Tz (DatePart a)) (Maybe (Tz (DatePart a)))

convert DatePart from one TimeZone to another

Methods

toTimeZone :: TimeZoneSeries -> Tz (DatePart a) -> Maybe (Tz (DatePart a))

class Tz' tz where

TimeZone | TimeZoneSeries

Minimal complete definition

tz'

Methods

tz' :: tz -> UTCTime -> TimeZone

Instances

Tz' TimeZone

Methods

tz' :: TimeZone -> UTCTime -> TimeZone

Tz' TimeZoneSeries

see Data.Time.Hora.Zone re: TimeZoneSeries

Methods

tz' :: TimeZoneSeries -> UTCTime -> TimeZone

TimeSpan

data TimeSpan a

second and fractions

see Data.Time.Hora.Span for conversion

Constructors

Sec a

Pico a

Milli a

Instances

Functor TimeSpan

Methods

fmap :: (a -> b) -> TimeSpan a -> TimeSpan b

(<$) :: a -> TimeSpan b -> TimeSpan a

(Eq a, Integral a) => Eq (TimeSpan a)

>>> Sec 1 == Milli 1000
True    

Methods

(==) :: TimeSpan a -> TimeSpan a -> Bool

(/=) :: TimeSpan a -> TimeSpan a -> Bool

Integral a => Num (TimeSpan a)

! fromInteger returns Pico. assumes the value is Pico seconds

>>> Milli 397100 + (Sec 2) + 37891470000
Pico 399137891470000
>>> Milli 397100 + (Sec 2) + (Pico 37891470000)
Pico 399137891470000
>>> 3 * (Sec 10) == (Sec 30)
True  
>>> 3 * (Pico 10) == (Pico 30)
True        
>>> 300 * (Milli 1000) == (Milli 300000)
True    

Methods

(+) :: TimeSpan a -> TimeSpan a -> TimeSpan a

(-) :: TimeSpan a -> TimeSpan a -> TimeSpan a

(*) :: TimeSpan a -> TimeSpan a -> TimeSpan a

negate :: TimeSpan a -> TimeSpan a

abs :: TimeSpan a -> TimeSpan a

signum :: TimeSpan a -> TimeSpan a

fromInteger :: Integer -> TimeSpan a

(Ord a, Integral a) => Ord (TimeSpan a)

>>> Sec 1 > Milli 500
True        

Methods

compare :: TimeSpan a -> TimeSpan a -> Ordering

(<) :: TimeSpan a -> TimeSpan a -> Bool

(<=) :: TimeSpan a -> TimeSpan a -> Bool

(>) :: TimeSpan a -> TimeSpan a -> Bool

(>=) :: TimeSpan a -> TimeSpan a -> Bool

max :: TimeSpan a -> TimeSpan a -> TimeSpan a

min :: TimeSpan a -> TimeSpan a -> TimeSpan a

Show a => Show (TimeSpan a)

Methods

showsPrec :: Int -> TimeSpan a -> ShowS

show :: TimeSpan a -> String

showList :: [TimeSpan a] -> ShowS

type TwoInt a b = (Integral a, Integral b)

constraint