Data.Time.Hora.Type

DatePart

data DatePart a

serializeable structure for essential Date, Time parts

may also be used to construct UTCTime

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

Defined in Data.Time.Hora.Type

Methods

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

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

Eq a => Eq (DatePart a)

Defined in Data.Time.Hora.Type

Methods

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

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

Ord a => Ord (DatePart a)

Defined in Data.Time.Hora.Type

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)

Defined in Data.Time.Hora.Type

Methods

showsPrec :: Int -> DatePart a -> ShowS

show :: DatePart a -> String

showList :: [DatePart a] -> ShowS

Generic (DatePart a)

Defined in Data.Time.Hora.Type

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

Defined in Data.Time.Hora.Type

Methods

put :: DatePart Int -> Put

get :: Get (DatePart Int)

putList :: [DatePart Int] -> Put

Binary (DatePart Integer)

serializeable

Defined in Data.Time.Hora.Type

Methods

put :: DatePart Integer -> Put

get :: Get (DatePart Integer)

putList :: [DatePart Integer] -> Put

Binary (DatePart String)

serializeable

Defined in Data.Time.Hora.Type

Methods

put :: DatePart String -> Put

get :: Get (DatePart String)

putList :: [DatePart String] -> Put

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

Defined in Data.Time.Hora.Part

Methods

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

Integral a => ToUTC (DatePart a)

assumes DatePart is UTC

Defined in Data.Time.Hora.Part

Methods

toUtc :: DatePart a -> Maybe UTCTime

Integral a => FromUTC (DatePart a)

returns DatePart a in UTC timezone

Defined in Data.Time.Hora.Part

Methods

fromUtc :: UTCTime -> DatePart a

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})     

Defined in Data.Time.Hora.Stamp

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}

Defined in Data.Time.Hora.Stamp

Methods

now :: IO (DatePart a)

type Rep (DatePart a)

Defined in Data.Time.Hora.Type

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

UTCTimeBin

data UTCTimeBin

UTCTimeBin closely mimicks UTCTime.

UTCTimeBin has Binary instance. The only purpose of UTCTimeBin is to offer faster conversion and more compact serialization of UTCTime compared with DatePart.

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

Constructors

UTCTimeBin

Fields

• modifiedJulianDay :: Integer

  The Modified Julian Day is a standard count of days, with zero being the day 1858-11-17

• diffTimeAsPicoseconds :: Integer

  DiffTime expressed as picoseconds

Instances

Eq UTCTimeBin

Defined in Data.Time.Hora.Type

Methods

(==) :: UTCTimeBin -> UTCTimeBin -> Bool

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

Show UTCTimeBin

Defined in Data.Time.Hora.Type

Methods

showsPrec :: Int -> UTCTimeBin -> ShowS

show :: UTCTimeBin -> String

showList :: [UTCTimeBin] -> ShowS

Generic UTCTimeBin

Defined in Data.Time.Hora.Type

Associated Types

type Rep UTCTimeBin :: * -> *

Methods

from :: UTCTimeBin -> Rep UTCTimeBin x

to :: Rep UTCTimeBin x -> UTCTimeBin

Binary UTCTimeBin

serializeable

Defined in Data.Time.Hora.Type

Methods

put :: UTCTimeBin -> Put

get :: Get UTCTimeBin

putList :: [UTCTimeBin] -> Put

ToUTC UTCTimeBin

Defined in Data.Time.Hora.Part

Methods

toUtc :: UTCTimeBin -> Maybe UTCTime

FromUTC UTCTimeBin

Defined in Data.Time.Hora.Part

Methods

fromUtc :: UTCTime -> UTCTimeBin

type Rep UTCTimeBin

Defined in Data.Time.Hora.Type

type Rep UTCTimeBin = D1 (MetaData "UTCTimeBin" "Data.Time.Hora.Type" "hora-2.1.0-E04yJ2hI08yCzoUVJwb7Uu" False) (C1 (MetaCons "UTCTimeBin" PrefixI True) (S1 (MetaSel (Just "modifiedJulianDay") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :*: S1 (MetaSel (Just "diffTimeAsPicoseconds") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

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

Defined in Data.Time.Hora.Type

Methods

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

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

Eq a => Eq (Tz a)

Defined in Data.Time.Hora.Type

Methods

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

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

Ord a => Ord (Tz a)

Defined in Data.Time.Hora.Type

Methods

compare :: Tz a -> Tz a -> Ordering

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

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

(>) :: Tz a -> Tz a -> Bool

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

max :: Tz a -> Tz a -> Tz a

min :: Tz a -> Tz a -> Tz a

Show a => Show (Tz a)

Defined in Data.Time.Hora.Type

Methods

showsPrec :: Int -> Tz a -> ShowS

show :: Tz a -> String

showList :: [Tz a] -> ShowS

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

Defined in Data.Time.Hora.Part

Methods

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

Timestamp (Tz String)

local timezone

Defined in Data.Time.Hora.Stamp

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})     

Defined in Data.Time.Hora.Stamp

Methods

now :: IO (Tz (DatePart a))

class Tz' tz where

TimeZone | TimeZoneSeries

Minimal complete definition

tz'

Methods

tz' :: tz -> UTCTime -> TimeZone

Instances

Tz' TimeZone

Defined in Data.Time.Hora.Type

Methods

tz' :: TimeZone -> UTCTime -> TimeZone

Tz' TimeZoneSeries

see Data.Time.Hora.Zone re: TimeZoneSeries

use of TimeZoneSeries is preferred when converting from UTCTime to DatePart

Defined in Data.Time.Hora.Type

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

Defined in Data.Time.Hora.Type

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    

Defined in Data.Time.Hora.Type

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    

Defined in Data.Time.Hora.Type

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        

Defined in Data.Time.Hora.Type

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)

Defined in Data.Time.Hora.Type

Methods

showsPrec :: Int -> TimeSpan a -> ShowS

show :: TimeSpan a -> String

showList :: [TimeSpan a] -> ShowS

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

constraint