Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Data.Time.Calendar.Compat
Synopsis
- newtype Day = ModifiedJulianDay {
- toModifiedJulianDay :: Integer
- addDays :: Integer -> Day -> Day
- diffDays :: Day -> Day -> Integer
- class Ord p => DayPeriod p where
- periodFirstDay :: p -> Day
- periodLastDay :: p -> Day
- dayPeriod :: Day -> p
- 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
- data CalendarDiffDays = CalendarDiffDays {}
- calendarDay :: CalendarDiffDays
- calendarWeek :: CalendarDiffDays
- calendarMonth :: CalendarDiffDays
- calendarYear :: CalendarDiffDays
- scaleCalendarDiffDays :: Integer -> CalendarDiffDays -> CalendarDiffDays
- 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
- 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
- isLeapYear :: Year -> Bool
- data DayOfWeek
- dayOfWeek :: Day -> DayOfWeek
- dayOfWeekDiff :: DayOfWeek -> DayOfWeek -> Int
- firstDayOfWeekOnAfter :: DayOfWeek -> Day -> Day
- weekAllDays :: DayOfWeek -> Day -> [Day]
- weekFirstDay :: DayOfWeek -> Day -> Day
- weekLastDay :: DayOfWeek -> Day -> Day
- pattern YearMonthDay :: Year -> MonthOfYear -> DayOfMonth -> Day
Days
Constructors
ModifiedJulianDay | |
Fields
|
Instances
NFData Day | |||||
Defined in Data.Time.Calendar.Days | |||||
Data Day | |||||
Defined in Data.Time.Calendar.Days Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Day -> c Day gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Day dataTypeOf :: Day -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Day) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Day) gmapT :: (forall b. Data b => b -> b) -> Day -> Day gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r gmapQ :: (forall d. Data d => d -> u) -> Day -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Day -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Day -> m Day gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day | |||||
Enum Day | |||||
Generic Day | |||||
Defined in Data.Time.Orphans Associated Types
| |||||
Ix Day | |||||
Eq Day | |||||
Ord Day | |||||
Hashable Day | |||||
Defined in Data.Time.Orphans | |||||
DayPeriod Day | |||||
Defined in Data.Time.Calendar.Days | |||||
ISO8601 Day | |||||
Defined in Data.Time.Format.ISO8601 Methods iso8601Format :: Format Day # | |||||
Lift Day | |||||
type Rep Day | |||||
Defined in Data.Time.Orphans type Rep Day = D1 ('MetaData "Day" "Data.Time.Calendar.Days" "time-1.12.2-256b" 'True) (C1 ('MetaCons "ModifiedJulianDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "toModifiedJulianDay") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) |
DayPeriod
class Ord p => DayPeriod p where #
Instances
DayPeriod Day | |
Defined in Data.Time.Calendar.Days | |
DayPeriod Month | |
Defined in Data.Time.Calendar.Month | |
DayPeriod Quarter | |
Defined in Data.Time.Calendar.Quarter |
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 | |
Instances
NFData CalendarDiffDays | |||||
Defined in Data.Time.Calendar.CalendarDiffDays Methods rnf :: CalendarDiffDays -> () | |||||
Monoid CalendarDiffDays | |||||
Defined in Data.Time.Calendar.CalendarDiffDays Methods mappend :: CalendarDiffDays -> CalendarDiffDays -> CalendarDiffDays mconcat :: [CalendarDiffDays] -> CalendarDiffDays | |||||
Semigroup CalendarDiffDays | |||||
Defined in Data.Time.Calendar.CalendarDiffDays Methods (<>) :: CalendarDiffDays -> CalendarDiffDays -> CalendarDiffDays sconcat :: NonEmpty CalendarDiffDays -> CalendarDiffDays stimes :: Integral b => b -> CalendarDiffDays -> CalendarDiffDays | |||||
Data CalendarDiffDays | |||||
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 | |||||
Defined in Data.Time.Orphans Associated Types
Methods from :: CalendarDiffDays -> Rep CalendarDiffDays x to :: Rep CalendarDiffDays x -> CalendarDiffDays | |||||
Show CalendarDiffDays | |||||
Defined in Data.Time.Calendar.CalendarDiffDays Methods showsPrec :: Int -> CalendarDiffDays -> ShowS show :: CalendarDiffDays -> String showList :: [CalendarDiffDays] -> ShowS | |||||
Eq CalendarDiffDays | |||||
Defined in Data.Time.Calendar.CalendarDiffDays Methods (==) :: CalendarDiffDays -> CalendarDiffDays -> Bool (/=) :: CalendarDiffDays -> CalendarDiffDays -> Bool | |||||
ISO8601 CalendarDiffDays | |||||
Defined in Data.Time.Format.ISO8601 Methods | |||||
Lift CalendarDiffDays | |||||
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 | |||||
Defined in Data.Time.Orphans type Rep CalendarDiffDays = D1 ('MetaData "CalendarDiffDays" "Data.Time.Calendar.CalendarDiffDays" "time-1.12.2-256b" 'False) (C1 ('MetaCons "CalendarDiffDays" 'PrefixI 'True) (S1 ('MetaSel ('Just "cdMonths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "cdDays") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) |
scaleCalendarDiffDays :: Integer -> CalendarDiffDays -> CalendarDiffDays #
Year, month and day
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
Instances
NFData DayOfWeek | |
Defined in Data.Time.Calendar.Week | |
Data DayOfWeek | |
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 | |
Defined in Data.Time.Calendar.Week | |
Ix DayOfWeek | |
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 | |
Defined in Data.Time.Calendar.Week | |
Show DayOfWeek | |
Eq DayOfWeek | |
Ord DayOfWeek | |
Defined in Data.Time.Calendar.Week | |
Hashable DayOfWeek | |
Defined in Data.Time.Orphans | |
Lift 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 #