Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Data.Time.Clock.Compat
Synopsis
- newtype UniversalTime = ModJulianDate {
- getModJulianDate :: Rational
- data DiffTime
- secondsToDiffTime :: Integer -> DiffTime
- picosecondsToDiffTime :: Integer -> DiffTime
- diffTimeToPicoseconds :: DiffTime -> Integer
- data UTCTime = UTCTime {
- utctDay :: Day
- utctDayTime :: DiffTime
- data NominalDiffTime
- secondsToNominalDiffTime :: Pico -> NominalDiffTime
- nominalDiffTimeToSeconds :: NominalDiffTime -> Pico
- nominalDay :: NominalDiffTime
- addUTCTime :: NominalDiffTime -> UTCTime -> UTCTime
- diffUTCTime :: UTCTime -> UTCTime -> NominalDiffTime
- getCurrentTime :: IO UTCTime
- getTime_resolution :: DiffTime
- type Year = Integer
- type MonthOfYear = Int
- type DayOfMonth = Int
Universal Time
Time as measured by the Earth.
newtype UniversalTime #
Constructors
ModJulianDate | |
Fields
|
Instances
NFData UniversalTime | |||||
Defined in Data.Time.Clock.Internal.UniversalTime Methods rnf :: UniversalTime -> () | |||||
Data UniversalTime | |||||
Defined in Data.Time.Clock.Internal.UniversalTime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UniversalTime -> c UniversalTime gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UniversalTime toConstr :: UniversalTime -> Constr dataTypeOf :: UniversalTime -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UniversalTime) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UniversalTime) gmapT :: (forall b. Data b => b -> b) -> UniversalTime -> UniversalTime gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UniversalTime -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UniversalTime -> r gmapQ :: (forall d. Data d => d -> u) -> UniversalTime -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> UniversalTime -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> UniversalTime -> m UniversalTime gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UniversalTime -> m UniversalTime gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UniversalTime -> m UniversalTime | |||||
Generic UniversalTime | |||||
Defined in Data.Time.Orphans Associated Types
| |||||
Eq UniversalTime | |||||
Defined in Data.Time.Clock.Internal.UniversalTime | |||||
Ord UniversalTime | |||||
Defined in Data.Time.Clock.Internal.UniversalTime Methods compare :: UniversalTime -> UniversalTime -> Ordering (<) :: UniversalTime -> UniversalTime -> Bool (<=) :: UniversalTime -> UniversalTime -> Bool (>) :: UniversalTime -> UniversalTime -> Bool (>=) :: UniversalTime -> UniversalTime -> Bool max :: UniversalTime -> UniversalTime -> UniversalTime min :: UniversalTime -> UniversalTime -> UniversalTime | |||||
Hashable UniversalTime | |||||
Defined in Data.Time.Orphans | |||||
Lift UniversalTime | |||||
Defined in Data.Time.Orphans Methods lift :: Quote m => UniversalTime -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => UniversalTime -> Code m UniversalTime | |||||
type Rep UniversalTime | |||||
Defined in Data.Time.Orphans type Rep UniversalTime = D1 ('MetaData "UniversalTime" "Data.Time.Clock.Internal.UniversalTime" "time-1.12.2-256b" 'True) (C1 ('MetaCons "ModJulianDate" 'PrefixI 'True) (S1 ('MetaSel ('Just "getModJulianDate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational))) |
Absolute intervals, DiffTime
Instances
NFData DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime | |
Data DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DiffTime -> c DiffTime gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DiffTime toConstr :: DiffTime -> Constr dataTypeOf :: DiffTime -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DiffTime) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DiffTime) gmapT :: (forall b. Data b => b -> b) -> DiffTime -> DiffTime gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DiffTime -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DiffTime -> r gmapQ :: (forall d. Data d => d -> u) -> DiffTime -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DiffTime -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DiffTime -> m DiffTime gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DiffTime -> m DiffTime gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DiffTime -> m DiffTime | |
Enum DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime | |
Num DiffTime | |
Read DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime | |
Fractional DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime | |
Real DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime Methods toRational :: DiffTime -> Rational | |
RealFrac DiffTime | |
Show DiffTime | |
Eq DiffTime | |
Ord DiffTime | |
Defined in Data.Time.Clock.Internal.DiffTime | |
Hashable DiffTime | |
Defined in Data.Time.Orphans | |
Lift DiffTime | |
secondsToDiffTime :: Integer -> DiffTime #
picosecondsToDiffTime :: Integer -> DiffTime #
diffTimeToPicoseconds :: DiffTime -> Integer #
UTCTime
Constructors
UTCTime | |
Fields
|
Instances
NFData UTCTime | |||||
Defined in Data.Time.Clock.Internal.UTCTime | |||||
Data UTCTime | |||||
Defined in Data.Time.Clock.Internal.UTCTime Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCTime -> c UTCTime gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTCTime dataTypeOf :: UTCTime -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTCTime) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTCTime) gmapT :: (forall b. Data b => b -> b) -> UTCTime -> UTCTime gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r gmapQ :: (forall d. Data d => d -> u) -> UTCTime -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCTime -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime | |||||
Generic UTCTime | |||||
Defined in Data.Time.Orphans Associated Types
| |||||
Eq UTCTime | |||||
Ord UTCTime | |||||
Hashable UTCTime | |||||
Defined in Data.Time.Orphans | |||||
ISO8601 UTCTime | |||||
Defined in Data.Time.Format.ISO8601 Methods | |||||
Lift UTCTime | |||||
type Rep UTCTime | |||||
Defined in Data.Time.Orphans type Rep UTCTime = D1 ('MetaData "UTCTime" "Data.Time.Clock.Internal.UTCTime" "time-1.12.2-256b" 'False) (C1 ('MetaCons "UTCTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "utctDay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day) :*: S1 ('MetaSel ('Just "utctDayTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DiffTime))) |
NominalDiffTime
data NominalDiffTime #
Instances
secondsToNominalDiffTime :: Pico -> NominalDiffTime #
nominalDiffTimeToSeconds :: NominalDiffTime -> Pico #
UTC differences
addUTCTime :: NominalDiffTime -> UTCTime -> UTCTime #
diffUTCTime :: UTCTime -> UTCTime -> NominalDiffTime #
Current time
getCurrentTime :: IO UTCTime #
Type aliases
type MonthOfYear = Int #
type DayOfMonth = Int #