| Safe Haskell | None |
|---|
Data.Thyme.Time
Contents
Description
This module provides compatibility wrappers for the things that thyme
does differently from time, and allows it to be used as a drop-in
replacement for the latter, with the exceptions noted below:
- When constructing an
UTCTimeorUniversalTime, usemkUTCTimeormkModJulianDatein place ofUTCTimeorModJulianDate. - Instead of pattern matching on
UTCTime, useunUTCTimeto get aUTCView, which has a constructorUTCTimewith the same fields. ForModJulianDate, usegetModJulianDate.ViewPatternsmay make the transition more seamless. - Where a third party library uses
time, you can usetoThymeandfromThymeto convert between the corresponding types. -
Years areInts, notIntegers: you may needfromIntegral.
You shouldn't need to use lens or vector-space if you don't want to.
Anything else is probably not intentional, and you should either contact me via IRC or file an issue at https://github.com/liyang/thyme/issues.
- module Data.Thyme
- class Thyme a b | b -> a where
- toThyme :: Thyme a b => a -> b
- fromThyme :: Thyme a b => b -> a
- addDays :: Days -> Day -> Day
- diffDays :: Day -> Day -> Days
- toGregorian :: Day -> (Year, Month, DayOfMonth)
- fromGregorian :: Year -> Month -> DayOfMonth -> Day
- fromGregorianValid :: Year -> Month -> DayOfMonth -> Maybe Day
- addGregorianMonthsClip :: Months -> Day -> Day
- addGregorianMonthsRollover :: Months -> Day -> Day
- addGregorianYearsClip :: Years -> Day -> Day
- addGregorianYearsRollover :: Years -> Day -> Day
- dayOfYearToMonthAndDay :: Bool -> DayOfYear -> (Month, DayOfMonth)
- monthAndDayToDayOfYear :: Bool -> Month -> DayOfMonth -> DayOfYear
- monthAndDayToDayOfYearValid :: Bool -> Month -> DayOfMonth -> Maybe DayOfYear
- toOrdinalDate :: Day -> (Year, DayOfYear)
- fromOrdinalDate :: Year -> DayOfYear -> Day
- fromOrdinalDateValid :: Year -> DayOfYear -> Maybe Day
- sundayStartWeek :: Day -> (Year, WeekOfYear, DayOfWeek)
- fromSundayStartWeek :: Year -> WeekOfYear -> DayOfWeek -> Day
- fromSundayStartWeekValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe Day
- mondayStartWeek :: Day -> (Year, WeekOfYear, DayOfWeek)
- fromMondayStartWeek :: Year -> WeekOfYear -> DayOfWeek -> Day
- fromMondayStartWeekValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe Day
- toWeekDate :: Day -> (Year, WeekOfYear, DayOfWeek)
- fromWeekDate :: Year -> WeekOfYear -> DayOfWeek -> Day
- fromWeekDateValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe Day
- getModJulianDate :: UniversalTime -> Rational
- mkModJulianDate :: Rational -> UniversalTime
- secondsToDiffTime :: Int64 -> DiffTime
- picosecondsToDiffTime :: Int64 -> DiffTime
- mkUTCTime :: Day -> DiffTime -> UTCTime
- unUTCTime :: UTCTime -> UTCView
- addUTCTime :: NominalDiffTime -> UTCTime -> UTCTime
- diffUTCTime :: UTCTime -> UTCTime -> NominalDiffTime
- posixSecondsToUTCTime :: POSIXTime -> UTCTime
- utcTimeToPOSIXSeconds :: UTCTime -> POSIXTime
- addAbsoluteTime :: DiffTime -> AbsoluteTime -> AbsoluteTime
- diffAbsoluteTime :: AbsoluteTime -> AbsoluteTime -> DiffTime
- utcToTAITime :: LeapSecondTable -> UTCTime -> AbsoluteTime
- taiToUTCTime :: LeapSecondTable -> AbsoluteTime -> UTCTime
- utcToLocalTimeOfDay :: TimeZone -> TimeOfDay -> (Days, TimeOfDay)
- localToUTCTimeOfDay :: TimeZone -> TimeOfDay -> (Days, TimeOfDay)
- timeToTimeOfDay :: DiffTime -> TimeOfDay
- timeOfDayToTime :: TimeOfDay -> DiffTime
- dayFractionToTimeOfDay :: Rational -> TimeOfDay
- timeOfDayToDayFraction :: TimeOfDay -> Rational
- utcToLocalTime :: TimeZone -> UTCTime -> LocalTime
- localTimeToUTC :: TimeZone -> LocalTime -> UTCTime
- ut1ToLocalTime :: Rational -> UniversalTime -> LocalTime
- localTimeToUT1 :: Rational -> LocalTime -> UniversalTime
- utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime
- zonedTimeToUTC :: ZonedTime -> UTCTime
Documentation
module Data.Thyme
Type conversion
Data.Time.Calendar
toGregorian :: Day -> (Year, Month, DayOfMonth)Source
fromGregorian :: Year -> Month -> DayOfMonth -> DaySource
fromGregorianValid :: Year -> Month -> DayOfMonth -> Maybe DaySource
addGregorianMonthsClip :: Months -> Day -> DaySource
addGregorianMonthsRollover :: Months -> Day -> DaySource
addGregorianYearsClip :: Years -> Day -> DaySource
addGregorianYearsRollover :: Years -> Day -> DaySource
Data.Time.Calendar.MonthDay
dayOfYearToMonthAndDay :: Bool -> DayOfYear -> (Month, DayOfMonth)Source
monthAndDayToDayOfYear :: Bool -> Month -> DayOfMonth -> DayOfYearSource
monthAndDayToDayOfYearValid :: Bool -> Month -> DayOfMonth -> Maybe DayOfYearSource
Data.Time.Calendar.OrdinalDate
toOrdinalDate :: Day -> (Year, DayOfYear)Source
fromOrdinalDate :: Year -> DayOfYear -> DaySource
sundayStartWeek :: Day -> (Year, WeekOfYear, DayOfWeek)Source
fromSundayStartWeek :: Year -> WeekOfYear -> DayOfWeek -> DaySource
fromSundayStartWeekValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe DaySource
mondayStartWeek :: Day -> (Year, WeekOfYear, DayOfWeek)Source
fromMondayStartWeek :: Year -> WeekOfYear -> DayOfWeek -> DaySource
fromMondayStartWeekValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe DaySource
Data.Time.Calendar.WeekDate
toWeekDate :: Day -> (Year, WeekOfYear, DayOfWeek)Source
fromWeekDate :: Year -> WeekOfYear -> DayOfWeek -> DaySource
fromWeekDateValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe DaySource
Data.Time.Clock
mkModJulianDate :: Rational -> UniversalTimeSource
Replacement for ModJulianDate.
addUTCTime :: NominalDiffTime -> UTCTime -> UTCTimeSource
diffUTCTime :: UTCTime -> UTCTime -> NominalDiffTimeSource
Data.Time.Clock.POSIX
Data.Time.Clock.TAI
Data.Time.LocalTime
utcToLocalTime :: TimeZone -> UTCTime -> LocalTimeSource
localTimeToUTC :: TimeZone -> LocalTime -> UTCTimeSource
utcToZonedTime :: TimeZone -> UTCTime -> ZonedTimeSource