type Rep Day
Instance details Defined in Data.Time.Orphans type Rep Day = D1 ('MetaData "Day" "Data.Time.Calendar.Days" "time-1.12.2-inplace" 'True) (C1 ('MetaCons "ModifiedJulianDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "toModifiedJulianDay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: Day -> Rep Day x

to :: Rep Day x -> Day

Ix Day

Instance details

Defined in Data.Time.Calendar.Days

Methods

range :: (Day, Day) -> [Day]

index :: (Day, Day) -> Day -> Int

unsafeIndex :: (Day, Day) -> Day -> Int

inRange :: (Day, Day) -> Day -> Bool

rangeSize :: (Day, Day) -> Int

unsafeRangeSize :: (Day, Day) -> Int

Read Day

Instance details

Defined in Data.Time.Format.Parse

Methods

readsPrec :: Int -> ReadS Day

readList :: ReadS [Day]

readPrec :: ReadPrec Day

readListPrec :: ReadPrec [Day]

Show Day

Instance details

Defined in Data.Time.Calendar.Gregorian

Methods

showsPrec :: Int -> Day -> ShowS

show :: Day -> String

showList :: [Day] -> ShowS

Eq Day

Instance details

Defined in Data.Time.Calendar.Days

Methods

(==) :: Day -> Day -> Bool

(/=) :: Day -> Day -> Bool

Ord Day

Instance details

Defined in Data.Time.Calendar.Days

Methods

compare :: Day -> Day -> Ordering

(<) :: Day -> Day -> Bool

(<=) :: Day -> Day -> Bool

(>) :: Day -> Day -> Bool

(>=) :: Day -> Day -> Bool

max :: Day -> Day -> Day

min :: Day -> Day -> Day

Hashable Day

Instance details

Defined in Data.Time.Orphans

Methods

hashWithSalt :: Int -> Day -> Int

hash :: Day -> Int

DayPeriod Day

Instance details

Defined in Data.Time.Calendar.Days

Methods

periodFirstDay :: Day -> Day #

periodLastDay :: Day -> Day #

dayPeriod :: Day -> Day #

FormatTime Day

Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> Day -> String)

ISO8601 Day

Instance details

Defined in Data.Time.Format.ISO8601

Methods

iso8601Format :: Format Day #

ParseTime Day

Instance details

Defined in Data.Time.Format.Parse.Instances

Methods

substituteTimeSpecifier :: Proxy Day -> TimeLocale -> Char -> Maybe String

parseTimeSpecifier :: Proxy Day -> TimeLocale -> Maybe ParseNumericPadding -> Char -> ReadP String

buildTime :: TimeLocale -> [(Char, String)] -> Maybe Day

Lift Day

Instance details

Defined in Data.Time.Orphans

Methods

lift :: Quote m => Day -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Day -> Code m Day

type Rep Day

Instance details

Defined in Data.Time.Orphans

type Rep Day = D1 ('MetaData "Day" "Data.Time.Calendar.Days" "time-1.12.2-inplace" 'True) (C1 ('MetaCons "ModifiedJulianDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "toModifiedJulianDay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

addDays :: Integer -> Day -> Day #

diffDays :: Day -> Day -> Integer #

DayPeriod

class Ord p => DayPeriod p where #

Methods

periodFirstDay :: p -> Day #

periodLastDay :: p -> Day #

dayPeriod :: Day -> p #

Instances

Instances details

DayPeriod Day
Instance details Defined in Data.Time.Calendar.Days Methods periodFirstDay :: Day -> Day # periodLastDay :: Day -> Day # dayPeriod :: Day -> Day #
DayPeriod Month
Instance details Defined in Data.Time.Calendar.Month Methods periodFirstDay :: Month -> Day # periodLastDay :: Month -> Day # dayPeriod :: Day -> Month #
DayPeriod Quarter
Instance details Defined in Data.Time.Calendar.Quarter Methods periodFirstDay :: Quarter -> Day # periodLastDay :: Quarter -> Day # dayPeriod :: Day -> Quarter #
DayPeriod Year
Instance details Defined in Data.Time.Calendar.Gregorian Methods periodFirstDay :: Year -> Day # periodLastDay :: Year -> Day # dayPeriod :: Day -> Year #

periodAllDays :: DayPeriod p => p -> [Day] #

periodLength :: DayPeriod p => p -> Int #

periodFromDay :: DayPeriod p => Day -> (p, Int) #

periodToDay :: DayPeriod p => p -> Int -> Day #

periodToDayValid :: DayPeriod p => p -> Int -> Maybe Day #

CalendarDiffTime

data CalendarDiffDays #

Constructors

CalendarDiffDays
Fields cdMonths :: Integer cdDays :: Integer

Instances

Instances details

NFData CalendarDiffDays

Instance details

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

rnf :: CalendarDiffDays -> ()

Monoid CalendarDiffDays

Instance details

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

mempty :: CalendarDiffDays

mappend :: CalendarDiffDays -> CalendarDiffDays -> CalendarDiffDays

mconcat :: [CalendarDiffDays] -> CalendarDiffDays

Semigroup CalendarDiffDays

Instance details

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

(<>) :: CalendarDiffDays -> CalendarDiffDays -> CalendarDiffDays

sconcat :: NonEmpty CalendarDiffDays -> CalendarDiffDays

stimes :: Integral b => b -> CalendarDiffDays -> CalendarDiffDays

Data CalendarDiffDays

Instance details

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CalendarDiffDays -> c CalendarDiffDays

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CalendarDiffDays

toConstr :: CalendarDiffDays -> Constr

dataTypeOf :: CalendarDiffDays -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CalendarDiffDays)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CalendarDiffDays)

gmapT :: (forall b. Data b => b -> b) -> CalendarDiffDays -> CalendarDiffDays

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CalendarDiffDays -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CalendarDiffDays -> r

gmapQ :: (forall d. Data d => d -> u) -> CalendarDiffDays -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CalendarDiffDays -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CalendarDiffDays -> m CalendarDiffDays

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CalendarDiffDays -> m CalendarDiffDays

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CalendarDiffDays -> m CalendarDiffDays

Generic CalendarDiffDays

Instance details

Defined in Data.Time.Orphans

Associated Types

type Rep CalendarDiffDays

Instance details

Defined in Data.Time.Orphans

type Rep CalendarDiffDays = D1 ('MetaData "CalendarDiffDays" "Data.Time.Calendar.CalendarDiffDays" "time-1.12.2-inplace" 'False) (C1 ('MetaCons "CalendarDiffDays" 'PrefixI 'True) (S1 ('MetaSel ('Just "cdMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "cdDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: CalendarDiffDays -> Rep CalendarDiffDays x

to :: Rep CalendarDiffDays x -> CalendarDiffDays

Show CalendarDiffDays

Instance details

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

showsPrec :: Int -> CalendarDiffDays -> ShowS

show :: CalendarDiffDays -> String

showList :: [CalendarDiffDays] -> ShowS

Eq CalendarDiffDays

Instance details

Defined in Data.Time.Calendar.CalendarDiffDays

Methods

(==) :: CalendarDiffDays -> CalendarDiffDays -> Bool

(/=) :: CalendarDiffDays -> CalendarDiffDays -> Bool

FormatTime CalendarDiffDays

Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> CalendarDiffDays -> String)

ISO8601 CalendarDiffDays

Instance details

Defined in Data.Time.Format.ISO8601

Methods

iso8601Format :: Format CalendarDiffDays #

ParseTime CalendarDiffDays

Instance details

Defined in Data.Time.Format.Parse.Instances

Methods

substituteTimeSpecifier :: Proxy CalendarDiffDays -> TimeLocale -> Char -> Maybe String

parseTimeSpecifier :: Proxy CalendarDiffDays -> TimeLocale -> Maybe ParseNumericPadding -> Char -> ReadP String

buildTime :: TimeLocale -> [(Char, String)] -> Maybe CalendarDiffDays

Lift CalendarDiffDays

Instance details

Defined in Data.Time.Orphans

Methods

lift :: Quote m => CalendarDiffDays -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => CalendarDiffDays -> Code m CalendarDiffDays

type Rep CalendarDiffDays

Instance details

Defined in Data.Time.Orphans

type Rep CalendarDiffDays = D1 ('MetaData "CalendarDiffDays" "Data.Time.Calendar.CalendarDiffDays" "time-1.12.2-inplace" 'False) (C1 ('MetaCons "CalendarDiffDays" 'PrefixI 'True) (S1 ('MetaSel ('Just "cdMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "cdDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

calendarDay :: CalendarDiffDays #

calendarWeek :: CalendarDiffDays #

calendarMonth :: CalendarDiffDays #

calendarYear :: CalendarDiffDays #

scaleCalendarDiffDays :: Integer -> CalendarDiffDays -> CalendarDiffDays #

Year, month and day

type Year = Integer #

pattern CommonEra :: Integer -> Year #

pattern BeforeCommonEra :: Integer -> Year #

type MonthOfYear = Int #

pattern January :: MonthOfYear #

pattern February :: MonthOfYear #

pattern March :: MonthOfYear #

pattern April :: MonthOfYear #

pattern May :: MonthOfYear #

pattern June :: MonthOfYear #

pattern July :: MonthOfYear #

pattern August :: MonthOfYear #

pattern September :: MonthOfYear #

pattern October :: MonthOfYear #

pattern November :: MonthOfYear #

pattern December :: MonthOfYear #

type DayOfMonth = Int #

Gregorian calendar

toGregorian :: Day -> (Year, MonthOfYear, DayOfMonth) #

fromGregorian :: Year -> MonthOfYear -> DayOfMonth -> Day #

fromGregorianValid :: Year -> MonthOfYear -> DayOfMonth -> Maybe Day #

showGregorian :: Day -> String #

gregorianMonthLength :: Year -> MonthOfYear -> DayOfMonth #

addGregorianMonthsClip :: Integer -> Day -> Day #

addGregorianMonthsRollOver :: Integer -> Day -> Day #

addGregorianYearsClip :: Integer -> Day -> Day #

addGregorianYearsRollOver :: Integer -> Day -> Day #

addGregorianDurationClip :: CalendarDiffDays -> Day -> Day #

addGregorianDurationRollOver :: CalendarDiffDays -> Day -> Day #

diffGregorianDurationClip :: Day -> Day -> CalendarDiffDays #

diffGregorianDurationRollOver :: Day -> Day -> CalendarDiffDays Source #

Calendrical difference, with as many whole months as possible.

isLeapYear :: Year -> Bool #

Week

data DayOfWeek #

Constructors

Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Sunday

Instances

Instances details

NFData DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods rnf :: DayOfWeek -> ()
Data DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DayOfWeek -> c DayOfWeek gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DayOfWeek toConstr :: DayOfWeek -> Constr dataTypeOf :: DayOfWeek -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DayOfWeek) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DayOfWeek) gmapT :: (forall b. Data b => b -> b) -> DayOfWeek -> DayOfWeek gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DayOfWeek -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DayOfWeek -> r gmapQ :: (forall d. Data d => d -> u) -> DayOfWeek -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DayOfWeek -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DayOfWeek -> m DayOfWeek gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DayOfWeek -> m DayOfWeek gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DayOfWeek -> m DayOfWeek
Enum DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods succ :: DayOfWeek -> DayOfWeek pred :: DayOfWeek -> DayOfWeek toEnum :: Int -> DayOfWeek fromEnum :: DayOfWeek -> Int enumFrom :: DayOfWeek -> [DayOfWeek] enumFromThen :: DayOfWeek -> DayOfWeek -> [DayOfWeek] enumFromTo :: DayOfWeek -> DayOfWeek -> [DayOfWeek] enumFromThenTo :: DayOfWeek -> DayOfWeek -> DayOfWeek -> [DayOfWeek]
Ix DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods range :: (DayOfWeek, DayOfWeek) -> [DayOfWeek] index :: (DayOfWeek, DayOfWeek) -> DayOfWeek -> Int unsafeIndex :: (DayOfWeek, DayOfWeek) -> DayOfWeek -> Int inRange :: (DayOfWeek, DayOfWeek) -> DayOfWeek -> Bool rangeSize :: (DayOfWeek, DayOfWeek) -> Int unsafeRangeSize :: (DayOfWeek, DayOfWeek) -> Int
Read DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods readsPrec :: Int -> ReadS DayOfWeek readList :: ReadS [DayOfWeek] readPrec :: ReadPrec DayOfWeek readListPrec :: ReadPrec [DayOfWeek]
Show DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods showsPrec :: Int -> DayOfWeek -> ShowS show :: DayOfWeek -> String showList :: [DayOfWeek] -> ShowS
Eq DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods (==) :: DayOfWeek -> DayOfWeek -> Bool (/=) :: DayOfWeek -> DayOfWeek -> Bool
Ord DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods compare :: DayOfWeek -> DayOfWeek -> Ordering (<) :: DayOfWeek -> DayOfWeek -> Bool (<=) :: DayOfWeek -> DayOfWeek -> Bool (>) :: DayOfWeek -> DayOfWeek -> Bool (>=) :: DayOfWeek -> DayOfWeek -> Bool max :: DayOfWeek -> DayOfWeek -> DayOfWeek min :: DayOfWeek -> DayOfWeek -> DayOfWeek
Hashable DayOfWeek
Instance details Defined in Data.Time.Orphans Methods hashWithSalt :: Int -> DayOfWeek -> Int hash :: DayOfWeek -> Int
FormatTime DayOfWeek
Instance details Defined in Data.Time.Format.Format.Instances Methods formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> DayOfWeek -> String)
Lift DayOfWeek
Instance details Defined in Data.Time.Orphans Methods lift :: Quote m => DayOfWeek -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => DayOfWeek -> Code m DayOfWeek

dayOfWeek :: Day -> DayOfWeek #

dayOfWeekDiff :: DayOfWeek -> DayOfWeek -> Int #

firstDayOfWeekOnAfter :: DayOfWeek -> Day -> Day #

weekAllDays :: DayOfWeek -> Day -> [Day] #

weekFirstDay :: DayOfWeek -> Day -> Day #

weekLastDay :: DayOfWeek -> Day -> Day #

Type aliases

pattern YearMonthDay :: Year -> MonthOfYear -> DayOfMonth -> Day #