Data.Time.Patterns

Patterns for recurring events. Use the DatePattern type to build up a pattern, and the functions elementOf, instancesFrom and intervalsFrom to evaluate it. Simple example:

import Control.Lens
import Data.Thyme.Calendar
import Data.Time.Patterns
import qualified Prelude as P
Module Main where

main = do
  -- get the 6th of April for the next ten years
  let april6 = (take 1 $ skip 5 day) `inEach` april
  let today = (YearMonthDay 2013 12 01)^.from gregorian
  print $ P.take 10 $ instancesFrom today april6

DatePatterns can be combined using union, intersect with their obvious meanings and inEach which repeats one pattern inside another one. For example,

((take 1 day) `inEach` august) `intersect` sunday

will give the 1st of August in years when it falls on a Sunday.

Date Patterns

type DatePattern = IntervalSequence' Day

A DatePattern describes a sequence of intervals of type Data.Thyme.Day.

day :: DatePattern

An event that occurs every day.

mondayWeek :: DatePattern

Weeks, starting on Monday

sundayWeek :: DatePattern

Weeks, starting on Sunday.

month :: DatePattern

An event that occurs every month.

year :: DatePattern

Years, starting from Jan. 1

Months

january :: DatePattern

Every January.

february :: DatePattern

Every February.

march :: DatePattern

Every March.

april :: DatePattern

Every April.

may :: DatePattern

Every May.

june :: DatePattern

Every June.

july :: DatePattern

Every July.

august :: DatePattern

Every August.

september :: DatePattern

Every September.

october :: DatePattern

Every October.

november :: DatePattern

Every November.

december :: DatePattern

Every December.

Days

monday :: DatePattern

Every Monday.

tuesday :: DatePattern

Every Tuesday.

wednesday :: DatePattern

Every Wednesday.

thursday :: DatePattern

Every Thursday.

friday :: DatePattern

Every Friday.

saturday :: DatePattern

Every Saturday.

sunday :: DatePattern

Every Sunday.

Operations on date patterns

never :: DatePattern

An event that never occurs

every :: (Num i, Ord i) => i -> DatePattern -> DatePattern

Take every nth occurrence

shiftBy :: Days -> DatePattern -> DatePattern

Shift all the results by a number of day

inEach :: DatePattern -> DatePattern -> DatePattern

The first pattern repeated for each interval of the second pattern. E.g.:

(take 3 $ every 4 monday) `inEach` year

will give the fourth, eighth and twelveth Monday in each year

take :: (Num i, Ord i) => i -> DatePattern -> DatePattern

Stop after n occurrences

skip :: (Num i, Ord i) => i -> DatePattern -> DatePattern

Skip the first n occurrences

except :: Day -> DatePattern -> DatePattern

Skip over all occurrences of a day. If the pattern describes a period longer than a day, the entire period will be skipped.

intersect :: DatePattern -> DatePattern -> DatePattern

Return only occurrences that are present in both patterns

let myBirthday = (take 1 day) `inEach` august
let s = intersect myBirthday sunday

Will return August 1 in years when it falls on a Sunday

union :: DatePattern -> DatePattern -> DatePattern

Occurrences of both patterns.

union april june

Will return the months April and June in each year

let fifteenth = (take 1 $ skip 14 day) `inEach` month
let third = (take 1 $ skip 2 day) `inEach` month
union fifteenth third

Will return the 3rd and the 15th of each month

Queries

elementOf :: Day -> DatePattern -> Bool

Check if a date is covered by a DatePattern

instancesFrom :: Day -> DatePattern -> [Day]

Get occurrences of an event starting with a given day

intervalsFrom :: Day -> DatePattern -> [Interval Day]

Get the date intervals described by the pattern, starting from the specified date.

The intervals range from the first day included by the pattern to the first day after it, so a single day d would be described as (d ... succ d) and the interval for a month will go from the 1st of the month to the 1st of the next month.