Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Synopsis
- data Day
- type Year = Integer
- type DayOfYear = Int
- type WeekOfYear = Int
- toOrdinalDate :: Day -> ( Integer , Int )
- fromOrdinalDate :: Integer -> Int -> Day
- pattern YearDay :: Year -> DayOfYear -> Day
- fromOrdinalDateValid :: Integer -> Int -> Maybe Day
- showOrdinalDate :: Day -> String
- isLeapYear :: Integer -> Bool
- mondayStartWeek :: Day -> ( Int , Int )
- sundayStartWeek :: Day -> ( Int , Int )
- fromMondayStartWeek :: Integer -> Int -> Int -> Day
- fromMondayStartWeekValid :: Integer -> Int -> Int -> Maybe Day
- fromSundayStartWeek :: Integer -> Int -> Int -> Day
- fromSundayStartWeekValid :: Integer -> Int -> Int -> Maybe Day
Documentation
The Modified Julian Day is a standard count of days, with zero being the day 1858-11-17.
Instances
Enum Day | |
Eq Day | |
Data Day | |
Defined in Data.Time.Calendar.Days gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> Day -> c Day Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c Day Source # toConstr :: Day -> Constr Source # dataTypeOf :: Day -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c Day ) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c Day ) Source # gmapT :: ( forall b. Data b => b -> b) -> Day -> Day Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> Day -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> Day -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> Day -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> Day -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> Day -> m Day Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> Day -> m Day Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> Day -> m Day Source # |
|
Ord Day | |
Ix Day | |
Defined in Data.Time.Calendar.Days |
|
NFData Day | |
Defined in Data.Time.Calendar.Days |
|
Hashable Day Source # | |
ISO8601 Day |
|
Defined in Data.Time.Format.ISO8601 |
Day of year, in range 1 (January 1st) to 366. December 31st is 365 in a common year, 366 in a leap year.
type WeekOfYear = Int Source #
Week of year, by various reckonings, generally in range 0-53 depending on reckoning
toOrdinalDate :: Day -> ( Integer , Int ) Source #
Convert to ISO 8601 Ordinal Date format. First element of result is year (proleptic Gregoran calendar), second is the day of the year, with 1 for Jan 1, and 365 (or 366 in leap years) for Dec 31.
fromOrdinalDate :: Integer -> Int -> Day Source #
Convert from ISO 8601 Ordinal Date format. Invalid day numbers will be clipped to the correct range (1 to 365 or 366).
pattern YearDay :: Year -> DayOfYear -> Day Source #
Bidirectional abstract constructor for ISO 8601 Ordinal Date format. Invalid day numbers will be clipped to the correct range (1 to 365 or 366).
fromOrdinalDateValid :: Integer -> Int -> Maybe Day Source #
Convert from ISO 8601 Ordinal Date format.
Invalid day numbers return
Nothing
showOrdinalDate :: Day -> String Source #
Show in ISO 8601 Ordinal Date format (yyyy-ddd)
isLeapYear :: Integer -> Bool Source #
Is this year a leap year according to the proleptic Gregorian calendar?
mondayStartWeek :: Day -> ( Int , Int ) Source #
Get the number of the Monday-starting week in the year and the day of the week.
The first Monday is the first day of week 1, any earlier days in the year are week 0 (as
%W
in
formatTime
).
Monday is 1, Sunday is 7 (as
%u
in
formatTime
).
sundayStartWeek :: Day -> ( Int , Int ) Source #
Get the number of the Sunday-starting week in the year and the day of the week.
The first Sunday is the first day of week 1, any earlier days in the year are week 0 (as
%U
in
formatTime
).
Sunday is 0, Saturday is 6 (as
%w
in
formatTime
).
:: Integer |
Year. |
-> Int |
Monday-starting week number (as
|
-> Int |
Day of week.
Monday is 1, Sunday is 7 (as
|
-> Day |
The inverse of
mondayStartWeek
. Get a
Day
given the year,
the number of the Monday-starting week, and the day of the week.
The first Monday is the first day of week 1, any earlier days in the year
are week 0 (as
%W
in
formatTime
).
fromMondayStartWeekValid Source #
:: Integer |
Year. |
-> Int |
Monday-starting week number (as
|
-> Int |
Day of week.
Monday is 1, Sunday is 7 (as
|
-> Maybe Day |
:: Integer |
Year. |
-> Int |
Sunday-starting week number (as
|
-> Int |
Day of week
Sunday is 0, Saturday is 6 (as
|
-> Day |
The inverse of
sundayStartWeek
. Get a
Day
given the year and
the number of the day of a Sunday-starting week.
The first Sunday is the first day of week 1, any earlier days in the
year are week 0 (as
%U
in
formatTime
).
fromSundayStartWeekValid Source #
:: Integer |
Year. |
-> Int |
Sunday-starting week number (as
|
-> Int |
Day of week.
Sunday is 0, Saturday is 6 (as
|
-> Maybe Day |