Time

Documentation

data Time

Instances

Eq Time

Methods

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

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

Ord Time

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

Show Time

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

Generic Time

Associated Types

type Rep Time :: * -> *

Methods

from :: Time -> Rep Time x

to :: Rep Time x -> Time

ToJSON Time

Methods

toJSON :: Time -> Value

toEncoding :: Time -> Encoding

FromJSON Time

Methods

parseJSON :: Value -> Parser Time

Binary Time

Methods

put :: Time -> Put

get :: Get Time

putList :: [Time] -> Put

Printable Time

Methods

print :: Printer p => Time -> p

Textual Time

Methods

textual :: (Monad μ, CharParsing μ) => μ Time

FormatTime Time

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> Time -> String)

ParseTime Time

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe Time

type Rep Time

type Rep Time = D1 * (MetaData "Time" "Time" "liblawless-0.26.0-FvAjUlvgS5MCQ2J8lcpoez" True) (C1 * (MetaCons "Time" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * UTCTime)))

data Seconds

Instances

Enum Seconds

Methods

succ :: Seconds -> Seconds

pred :: Seconds -> Seconds

toEnum :: Int -> Seconds

fromEnum :: Seconds -> Int

enumFrom :: Seconds -> [Seconds]

enumFromThen :: Seconds -> Seconds -> [Seconds]

enumFromTo :: Seconds -> Seconds -> [Seconds]

enumFromThenTo :: Seconds -> Seconds -> Seconds -> [Seconds]

Eq Seconds

Methods

(==) :: Seconds -> Seconds -> Bool

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

Fractional Seconds

Methods

(/) :: Seconds -> Seconds -> Seconds

recip :: Seconds -> Seconds

fromRational :: Rational -> Seconds

Data Seconds

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Seconds -> c Seconds

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Seconds

toConstr :: Seconds -> Constr

dataTypeOf :: Seconds -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Seconds)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Seconds)

gmapT :: (forall b. Data b => b -> b) -> Seconds -> Seconds

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Seconds -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Seconds -> r

gmapQ :: (forall d. Data d => d -> u) -> Seconds -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Seconds -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds

Num Seconds

Methods

(+) :: Seconds -> Seconds -> Seconds

(-) :: Seconds -> Seconds -> Seconds

(*) :: Seconds -> Seconds -> Seconds

negate :: Seconds -> Seconds

abs :: Seconds -> Seconds

signum :: Seconds -> Seconds

fromInteger :: Integer -> Seconds

Ord Seconds

Methods

compare :: Seconds -> Seconds -> Ordering

(<) :: Seconds -> Seconds -> Bool

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

(>) :: Seconds -> Seconds -> Bool

(>=) :: Seconds -> Seconds -> Bool

max :: Seconds -> Seconds -> Seconds

min :: Seconds -> Seconds -> Seconds

Real Seconds

Methods

toRational :: Seconds -> Rational

RealFrac Seconds

Methods

properFraction :: Integral b => Seconds -> (b, Seconds)

truncate :: Integral b => Seconds -> b

round :: Integral b => Seconds -> b

ceiling :: Integral b => Seconds -> b

floor :: Integral b => Seconds -> b

Show Seconds

Methods

showsPrec :: Int -> Seconds -> ShowS

show :: Seconds -> String

showList :: [Seconds] -> ShowS

ToJSON Seconds

Methods

toJSON :: Seconds -> Value

toEncoding :: Seconds -> Encoding

FromJSON Seconds

Methods

parseJSON :: Value -> Parser Seconds

Binary Seconds

Methods

put :: Seconds -> Put

get :: Get Seconds

putList :: [Seconds] -> Put

class ParseTime t where

The class of types which can be parsed given a UNIX-style time format string.

Minimal complete definition

buildTime

Methods

buildTime

Arguments

:: TimeLocale

The time locale.

-> [(Char, String)]

Pairs of format characters and the corresponding part of the input.

-> Maybe t

Builds a time value from a parsed input string. If the input does not include all the information needed to construct a complete value, any missing parts should be taken from 1970-01-01 00:00:00 +0000 (which was a Thursday). In the absence of %C or %Y, century is 1969 - 2068.

Instances

ParseTime UTCTime

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe UTCTime

ParseTime ZonedTime

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe ZonedTime

ParseTime LocalTime

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe LocalTime

ParseTime TimeOfDay

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe TimeOfDay

ParseTime TimeZone

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe TimeZone

ParseTime UniversalTime

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe UniversalTime

ParseTime Day

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe Day

ParseTime Time

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe Time

class FormatTime t where

Minimal complete definition

formatCharacter

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> t -> String)

Instances

FormatTime UTCTime

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> UTCTime -> String)

FormatTime DotNetTime

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> DotNetTime -> String)

FormatTime ZonedTime

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> ZonedTime -> String)

FormatTime LocalTime

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> LocalTime -> String)

FormatTime TimeOfDay

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> TimeOfDay -> String)

FormatTime TimeZone

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> TimeZone -> String)

FormatTime UniversalTime

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> UniversalTime -> String)

FormatTime Day

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> Day -> String)

FormatTime Time

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> Time -> String)

_Time :: Iso' Time UTCTime

day :: Lens' Time Day

Lens for the Day component of a Time.

time :: Lens' Time DiffTime

Lens for the DiffTime component of a Time.

now :: MonadIO m => m Time

Get the current system time.

seconds :: Iso' Double DiffTime

Convert between Double and Seconds.