Data.Thyme.Time.Core

This module provides just the compatibility wrappers for the things that thyme does differently from time. No RealFrac instances for DiffTime nor NominalDiffTime, nor other riffraff.

Documentation

module Data.Thyme

Type conversion

class Thyme a b | b -> a where

Methods

thyme :: Iso' a b

Instances

Thyme AbsoluteTime AbsoluteTime

Thyme LocalTime LocalTime

Thyme ZonedTime ZonedTime

Thyme TimeOfDay TimeOfDay

Thyme TimeZone TimeZone

Thyme UTCTime UTCView

Thyme UTCTime UTCTime

Thyme NominalDiffTime NominalDiffTime

Thyme Day Day

Thyme UniversalTime UniversalTime

Thyme DiffTime DiffTime

toThyme :: Thyme a b => a -> b

fromThyme :: Thyme a b => b -> a

Data.Time.Calendar

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

Data.Time.Calendar.MonthDay

dayOfYearToMonthAndDay :: Bool -> DayOfYear -> (Month, DayOfMonth)

monthAndDayToDayOfYear :: Bool -> Month -> DayOfMonth -> DayOfYear

monthAndDayToDayOfYearValid :: Bool -> Month -> DayOfMonth -> Maybe DayOfYear

Data.Time.Calendar.OrdinalDate

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

Data.Time.Calendar.WeekDate

toWeekDate :: Day -> (Year, WeekOfYear, DayOfWeek)

fromWeekDate :: Year -> WeekOfYear -> DayOfWeek -> Day

fromWeekDateValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe Day

Data.Time.Clock

getModJulianDate :: UniversalTime -> Rational

mkModJulianDate :: Rational -> UniversalTime

Replacement for ModJulianDate.

secondsToDiffTime :: Int64 -> DiffTime

picosecondsToDiffTime :: Int64 -> DiffTime

mkUTCTime :: Day -> DiffTime -> UTCTime

unUTCTime :: UTCTime -> UTCView

addUTCTime :: NominalDiffTime -> UTCTime -> UTCTime

diffUTCTime :: UTCTime -> UTCTime -> NominalDiffTime

Data.Time.Clock.POSIX

posixSecondsToUTCTime :: POSIXTime -> UTCTime

utcTimeToPOSIXSeconds :: UTCTime -> POSIXTime

Data.Time.Clock.TAI

addAbsoluteTime :: DiffTime -> AbsoluteTime -> AbsoluteTime

diffAbsoluteTime :: AbsoluteTime -> AbsoluteTime -> DiffTime

utcToTAITime :: LeapSecondTable -> UTCTime -> AbsoluteTime

taiToUTCTime :: LeapSecondTable -> AbsoluteTime -> UTCTime

Data.Time.LocalTime

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