ContentsIndex
Org.Org.Semantic.HBase.Time.UTCTime
Description
Civil time as measured by UTC
Synopsis
class Monad m => HasLeapSecondsRule m where
getLeapSecondsRule :: m (Integer -> Integer)
data UTCDuration a = MkUTCDuration {
utcDaysDiff :: Integer
utcSecondsDiff :: a
}
data UTCTime a = MkUTCTime {
utcDays :: Integer
utcSeconds :: a
}
invertFuncWithApprox :: (Integer -> Integer) -> Integer -> Integer -> Integer
invertFunc :: (Integer -> Integer) -> Integer -> Integer
Documentation
class Monad m => HasLeapSecondsRule m where
Methods
getLeapSecondsRule :: m (Integer -> Integer)
Instances
data UTCDuration a
note: UTCDuration deliberately ignores leap seconds, so two UTC hours after 11pm UTC | is always 1am UTC, regardless of intervening leap seconds. | The leap second 23:59:60.0 through +1 00:00:00.0 gets clipped up to +1 00:00:00.0 on | any later, and clipped down to 23:59:60.0 on any earlier. | If you want _actual_ seconds, with correct calculation, use Duration instead of UTCDuration.
Constructors
MkUTCDuration
utcDaysDiff :: Integer
utcSecondsDiff :: a
Instances
HasZero a => HasZero (UTCDuration a)
Eq a => Eq (UTCDuration a)
(Additive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Additive (UTCDuration a) (UTCDuration a) (UTCDuration a)
(Additive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Additive (UTCDuration a) (UTCDuration a) (UTCDuration a)
(Additive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Additive (UTCDuration a) (UTCDuration a) (UTCDuration a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCDuration a) (UTCDuration a) (UTCDuration a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCDuration a) (UTCDuration a) (UTCDuration a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCDuration a) (UTCDuration a) (UTCDuration a)
(Additive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Additive (UTCDuration a) (UTCTime a) (UTCTime a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCDuration a) (UTCTime a) (UTCTime a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCTime a) (UTCTime a) (UTCDuration a)
data UTCTime a
Constructors
MkUTCTime
utcDays :: Integer
utcSeconds :: a
Instances
(Additive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Additive (UTCDuration a) (UTCTime a) (UTCTime a)
(Additive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Additive (UTCDuration a) (UTCTime a) (UTCTime a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCDuration a) (UTCTime a) (UTCTime a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCDuration a) (UTCTime a) (UTCTime a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCTime a) (UTCTime a) (UTCDuration a)
(Subtractive a a a, HasIntegerDivide Integer a, InterpretIntegerLiteral a) => Subtractive (UTCTime a) (UTCTime a) (UTCDuration a)
IsA super sub => MaybeA (UTCTime super) (UTCTime sub)
IsA super sub => MaybeA (UTCTime super) (UTCTime sub)
IsA super sub => IsA (UTCTime super) (UTCTime sub)
IsA super sub => IsA (UTCTime super) (UTCTime sub)
Eq a => Eq (UTCTime a)
Ordered a => MaybeOrdered (UTCTime a)
Ordered a => Ordered (UTCTime a)
(HasLeapSecondsRule m, Additive a a a, InterpretIntegerLiteral a) => MonadIsA m (Time a) (UTCTime a)
(HasLeapSecondsRule m, HasIntegerDivide Integer a, InterpretRationalLiteral a) => MonadIsA m (UTCTime a) (Time a)
invertFuncWithApprox :: (Integer -> Integer) -> Integer -> Integer -> Integer
invertFunc :: (Integer -> Integer) -> Integer -> Integer
Produced by Haddock version 0.6