WidgetRattus.Time

Documentation

data Time

A strict version of UTCTime

Constructors

Time

Fields

• timeDay :: !Day

  The day component

• timeDayTime :: !DiffTime

  The time component

Instances

Displayable Time

Defined in WidgetRattus.Widgets

Methods

display :: Time -> Text

Show Time

Defined in WidgetRattus.InternalPrimitives

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

Eq Time

Defined in WidgetRattus.InternalPrimitives

Methods

(==) :: Time -> Time -> Bool

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

Ord Time

Defined in WidgetRattus.InternalPrimitives

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

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

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

time :: C Time

addTime :: NominalDiffTime -> Time -> Time

diffTime :: Time -> Time -> NominalDiffTime

module Data.Time.Clock