hat-2.9.0.0: The Haskell tracer, generating and viewing Haskell execution traces

Safe HaskellNone
LanguageHaskell98

Hat.Time

Synopsis

Documentation

data ClockTime :: *

A representation of the internal clock time. Clock times may be compared, converted to strings, or converted to an external calendar time CalendarTime for I/O or other manipulations.

Instances

data Month Source

Constructors

January 
February 
March 
April 
May 
June 
July 
August 
September 
October 
November 
December 

Instances

aJanuary :: RefAtom Source

aFebruary :: RefAtom Source

aMarch :: RefAtom Source

aApril :: RefAtom Source

aMay :: RefAtom Source

aJune :: RefAtom Source

aJuly :: RefAtom Source

aAugust :: RefAtom Source

aSeptember :: RefAtom Source

aOctober :: RefAtom Source

aNovember :: RefAtom Source

aDecember :: RefAtom Source

data Day Source

Constructors

Sunday 
Monday 
Tuesday 
Wednesday 
Thursday 
Friday 
Saturday 

Instances

aSunday :: RefAtom Source

aMonday :: RefAtom Source

aTuesday :: RefAtom Source

aWednesday :: RefAtom Source

aThursday :: RefAtom Source

aFriday :: RefAtom Source

aSaturday :: RefAtom Source

data CalendarTime Source

Constructors

CalendarTime 

Fields

bctYear :: R Int
 
bctMonth :: R Month
 
bctDay :: R Int
 
bctHour :: R Int
 
bctMin :: R Int
 
bctSec :: R Int
 
bctPicosec :: R Integer
 
bctWDay :: R Day
 
bctYDay :: R Int
 
bctTZName :: R String
 
bctTZ :: R Int
 
bctIsDST :: R Bool
 

Instances

gctYear :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctMonth :: RefSrcPos -> RefExp -> R (Fun CalendarTime Month) Source

gctDay :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctHour :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctMin :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctSec :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctPicosec :: RefSrcPos -> RefExp -> R (Fun CalendarTime Integer) Source

gctWDay :: RefSrcPos -> RefExp -> R (Fun CalendarTime Day) Source

gctYDay :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctTZName :: RefSrcPos -> RefExp -> R (Fun CalendarTime String) Source

gctTZ :: RefSrcPos -> RefExp -> R (Fun CalendarTime Int) Source

gctIsDST :: RefSrcPos -> RefExp -> R (Fun CalendarTime Bool) Source

hctYear :: R CalendarTime -> RefExp -> R Int Source

hctMonth :: R CalendarTime -> RefExp -> R Month Source

hctDay :: R CalendarTime -> RefExp -> R Int Source

hctHour :: R CalendarTime -> RefExp -> R Int Source

hctMin :: R CalendarTime -> RefExp -> R Int Source

hctSec :: R CalendarTime -> RefExp -> R Int Source

hctPicosec :: R CalendarTime -> RefExp -> R Integer Source

hctWDay :: R CalendarTime -> RefExp -> R Day Source

hctYDay :: R CalendarTime -> RefExp -> R Int Source

hctTZName :: R CalendarTime -> RefExp -> R String Source

hctTZ :: R CalendarTime -> RefExp -> R Int Source

hctIsDST :: R CalendarTime -> RefExp -> R Bool Source

actYear :: RefAtom Source

actMonth :: RefAtom Source

actDay :: RefAtom Source

actHour :: RefAtom Source

actMin :: RefAtom Source

actSec :: RefAtom Source

actPicosec :: RefAtom Source

actWDay :: RefAtom Source

actYDay :: RefAtom Source

actTZName :: RefAtom Source

actTZ :: RefAtom Source

actIsDST :: RefAtom Source

aCalendarTime :: RefAtom Source

data TimeDiff Source

Constructors

TimeDiff 

Fields

btdYear :: R Int
 
btdMonth :: R Int
 
btdDay :: R Int
 
btdHour :: R Int
 
btdMin :: R Int
 
btdSec :: R Int
 
btdPicosec :: R Integer
 

Instances

gtdYear :: RefSrcPos -> RefExp -> R (Fun TimeDiff Int) Source

gtdMonth :: RefSrcPos -> RefExp -> R (Fun TimeDiff Int) Source

gtdDay :: RefSrcPos -> RefExp -> R (Fun TimeDiff Int) Source

gtdHour :: RefSrcPos -> RefExp -> R (Fun TimeDiff Int) Source

gtdMin :: RefSrcPos -> RefExp -> R (Fun TimeDiff Int) Source

gtdSec :: RefSrcPos -> RefExp -> R (Fun TimeDiff Int) Source

gtdPicosec :: RefSrcPos -> RefExp -> R (Fun TimeDiff Integer) Source

htdYear :: R TimeDiff -> RefExp -> R Int Source

htdMonth :: R TimeDiff -> RefExp -> R Int Source

htdDay :: R TimeDiff -> RefExp -> R Int Source

htdHour :: R TimeDiff -> RefExp -> R Int Source

htdMin :: R TimeDiff -> RefExp -> R Int Source

htdSec :: R TimeDiff -> RefExp -> R Int Source

htdPicosec :: R TimeDiff -> RefExp -> R Integer Source

atdYear :: RefAtom Source

atdMonth :: RefAtom Source

atdDay :: RefAtom Source

atdHour :: RefAtom Source

atdMin :: RefAtom Source

atdSec :: RefAtom Source

atdPicosec :: RefAtom Source

aTimeDiff :: RefAtom Source

ggetClockTime :: RefSrcPos -> RefExp -> R (IO ClockTime) Source

gaddToClockTime :: RefSrcPos -> RefExp -> R (Fun TimeDiff (Fun ClockTime ClockTime)) Source

aaddToClockTime :: RefAtom Source

haddToClockTime :: R TimeDiff -> R ClockTime -> RefExp -> R ClockTime Source

gdiffClockTimes :: RefSrcPos -> RefExp -> R (Fun ClockTime (Fun ClockTime TimeDiff)) Source

adiffClockTimes :: RefAtom Source

hdiffClockTimes :: R ClockTime -> R ClockTime -> RefExp -> R TimeDiff Source

gtoCalendarTime :: RefSrcPos -> RefExp -> R (Fun ClockTime (IO CalendarTime)) Source

atoCalendarTime :: RefAtom Source

htoCalendarTime :: R ClockTime -> RefExp -> R (IO CalendarTime) Source

gtoUTCTime :: RefSrcPos -> RefExp -> R (Fun ClockTime CalendarTime) Source

atoUTCTime :: RefAtom Source

htoUTCTime :: R ClockTime -> RefExp -> R CalendarTime Source

gtoClockTime :: RefSrcPos -> RefExp -> R (Fun CalendarTime ClockTime) Source

atoClockTime :: RefAtom Source

htoClockTime :: R CalendarTime -> RefExp -> R ClockTime Source

gcalendarTimeToString :: RefSrcPos -> RefExp -> R (Fun CalendarTime String) Source

acalendarTimeToString :: RefAtom Source

hcalendarTimeToString :: R CalendarTime -> RefExp -> R String Source

gformatCalendarTime :: RefSrcPos -> RefExp -> R (Fun TimeLocale (Fun String (Fun CalendarTime String))) Source

aformatCalendarTime :: RefAtom Source

hformatCalendarTime :: R TimeLocale -> R String -> R CalendarTime -> RefExp -> R String Source