Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data DayNth
- = FourthToLast
- | ThirdToLast
- | SecondToLast
- | Last
- | First
- | Second
- | Third
- | Fourth
- | Fifth
- type Year = Int
- type WeekNumber = Int
- type DayOfMonth = Int
- data CalendarDate calendar
- class HasDate d where
Documentation
type WeekNumber = Int Source #
type DayOfMonth = Int Source #
data CalendarDate calendar Source #
Represents a specific date within its calendar system, with no reference to any time zone or time of day. Note: We keep the date in 2 formats, redundantly. We depend on lazy evaluation to only produce the portion that is actually used
Eq (CalendarDate calendar) Source # | |
Ord (CalendarDate calendar) Source # | |
Show (CalendarDate calendar) Source # | |
IsCalendar cal => HasDate (CalendarDate cal) Source # | |
type DoW (CalendarDate cal) Source # | |
type MoY (CalendarDate cal) Source # | |
class HasDate d where Source #
day :: Functor f => (DayOfMonth -> f DayOfMonth) -> d -> f d Source #
Lens for the day component of a HasDate
. Please note that days are not clamped: if you add e.g. 400 days then the month and year will roll
Accessor for the Month component of a HasDate
.
monthl :: Functor f => (Int -> f Int) -> d -> f d Source #
Lens for interacting with the month component of a HasDate
. Please note that we convert the month to an Int so meaningful math can be done on it. Also
please note that the day will be unaffected except in the case of "end of month" days which may clamp. Note that this clamping will only occur as a final step,
so that
>>>
modify (+ 2) monthl $ Gregorian.calendarDate 31 January 2000
CalendarDate 31 March 2000
and not 29th of March as would happen with some libraries.
year :: Functor f => (Year -> f Year) -> d -> f d Source #
Lens for the year component of a HasDate
. Please note that the rest of the date is left as is, with two exceptions: Feb 29 will clamp to 28 in a non-leapyear
and if the new year is earlier than the earliest supported year it will clamp back to that year
dayOfWeek :: d -> DoW d Source #
IsCalendar cal => HasDate (CalendarDateTime cal) Source # | |
IsCalendar cal => HasDate (CalendarDate cal) Source # | |