Documentation

type DateTime = UTCTime

getCurrentTime :: IO DateTime

toMJD :: DateTime -> Rational

toMJD' :: RealFloat a => DateTime -> a

fromMJD :: Rational -> DateTime

fromMJD' :: RealFloat a => a -> DateTime

invariant :: Eq a => (a -> a) -> a -> Bool

prop_MJD :: DateTime -> Bool

prop_MJD' :: DateTime -> Bool

toUniversalTime :: DateTime -> UniversalTime

fromUniversalTime :: UniversalTime -> DateTime

prop_Universal :: DateTime -> Bool

toGregorian' :: DateTime -> (Integer, Int, Int)

toGregorian :: DateTime -> (Integer, Int, Int, Int, Int, Int)

fromGregorian' :: Integer -> Int -> Int -> DateTime

fromGregorian :: Integer -> Int -> Int -> Int -> Int -> Int -> DateTime

toSeconds :: DateTime -> Integer

fromSeconds :: Integer -> DateTime

toClockTime :: DateTime -> ClockTime

fromClockTime :: ClockTime -> DateTime

startOfTime :: DateTime

prop_StartOfTime :: t -> Bool

startOfTimeMJD :: Rational

toSqlString :: DateTime -> String

fromSqlString :: String -> Maybe DateTime

prop_SqlString :: UTCTime -> Bool

prop_SqlStartOfTime :: t -> Bool

formatDateTime :: String -> DateTime -> String

parseDateTime :: String -> String -> Maybe DateTime

sqlFormat :: String

addMinutes' :: Int -> DateTime -> DateTime

addMinutes :: Integer -> DateTime -> DateTime

diffMinutes' :: DateTime -> DateTime -> Int

diffMinutes :: DateTime -> DateTime -> Integer

addSeconds :: Integer -> DateTime -> DateTime

diffSeconds :: DateTime -> DateTime -> Integer