Build status:

Project status: [X] Being developed [X] Usable [ ] Complete

Crystime is an advanced time, calendar, scheduling, and reminding library for Crystal.

It provides two classes: VirtualTime and Item.

VirtualTime

The basis of the low-level functionality is class "VirtualTime". Think of it as of a normal "Time" struct, but much more flexible.

With regular Time, all fields (year, month, day, hour, minute, second, millisecond) must have a value, and that value must be a specific number. Even if some of Time's fields don't require you to set a value (such as hour or minute values), they still default to 0 internally. As such, Time objects always represent specific dates ("materialized" dates in Crystime terminology).

With Crystime's VirtualTime, each field (year, month, day, hour, minute, second, millisecond, day of week, and julian day) can either remain unspecified, or be a number, or contain a more complex specification (list, range, range with step, boolean, or proc).

For example, you could construct a VirtualTime with a month of March and a day range of 10..20 with step 2. This would represent a "virtual time" that matches any Time or another VirtualTime which falls on, or contains, the dates of March 10, 12, 14, 16, 18, or 20.

Item

The basis of the high-level user functionality is class "Item". This is intentionally called an "item" not to imply any particular type or purpose (e.g. a task, event, recurring appointment, reminder, etc.)

An item has an absolute start and end VirtualTime, a list of VirtualTimes on which it is considered "on" (i.e. active, due, scheduled), a list of VirtualTimes on which it is specifically "omitted" (i.e. "not on", like on weekends, individual holidays dates, certain times of day, etc.), and a rule which specifies what to do if an event falls on an omitted date or time — it can still be "on", or ignored, or re-scheduled to some time before, or some time after.

If the item's list of due dates is empty, it is considered as always "on". If the item's list of omit dates is empty, it is considered as never omitted. If there are multiple VirtualTimes set for a field, the matches are logically OR-ed, i.e. one match is enough for the field to match.

Here is a simple example from the examples/ folder to begin with, with comments:

# Create an item:
item = Crystime::Item.new

# Create a VirtualTime that matches every other day from Mar 10 to Mar 20:
due_march = Crystime::VirtualTime.new
due_march.month = 3
due_march.day = (10..20).step 2

# Add this VirtualTime as due date to item:
item.due<< due_march

# Create a VirtualTime that matches Mar 20 specifically. We will use this to actually omit
# the event on that day:
omit_march_20 = Crystime::VirtualTime.new
omit_march_20.month = 3
omit_march_20.day = 20

# Add this VirtualTime as omit date to item:
item.omit<< omit_march_20

# If event falls on an omitted date, try rescheduling it for 2 days later:
item.omit_shift = Crystime::Span.new(86400 * 2)


# Now we can check when the item is due and when it is not:

# Item is not due on Feb 15, 2017 because that's not in March:
p item.on?( Crystime::VirtualTime["2017-02-15"]) # ==> false

# Item is not due on Mar 15, 2017 because that's not a day of
# March 10, 12, 14, 16, 18, or 20:
p item.on?( Crystime::VirtualTime["2017-03-15"]) # ==> false

# Item is due on Mar 16, 2017:
p item.on?( Crystime::VirtualTime["2017-03-16"]) # ==> true

# Item is due on Mar 18, 2017:
p item.on?( Crystime::VirtualTime["2017-03-18"]) # ==> true

# And it is due on any Mar 18, doesn't need to be in 2017:
any_mar_18 = Crystime::VirtualTime.new
any_mar_18.month = 3
any_mar_18.day = 18
p item.on?( any_mar_18 ) # ==> true

# We can check whether this event is due at any point in March:
any_mar = Crystime::VirtualTime.new
any_mar.month = 3
p item.on?( any_mar) # ==> true

# But item is not due on Mar 20, 2017, because that date is omitted, and the system will give us
# a span of time (offset) when it can be scheduled. Based on our reschedule settings above, this
# will be a span for 2 days later.
p item.on?( Crystime::VirtualTime["2017-03-20"]) # ==> #<Crystime::Span @span=2.00:00:00>

# Asking whether the item is due on the rescheduled date (Mar 22) will tell us no, because currently
# rescheduled dates are not counted as due/on dates:
p item.on?( Crystime::VirtualTime["2017-03-22"]) # ==> nil

# We can also check whether the item is due using regular Time struct,
# it does not have to be VirtualTime:
p item.on?( Time.new 2018, 3, 16) # ==> true

VirtualTime in Detail

All date/time objects in Crystime (due dates, omit dates, start/stop dates, dates to check etc.) are based on VirtualTime. That is because VirtualTime does everything Time does (except maybe providing some convenience functions), so it is simpler and more powerful to use it everywhere.

(If you are missing any particular convenience/compatibility functions from Time, please report them or submit a PR.)

A VirtualTime has the following fields that can be set in an initializer or after object creation:

year        - Year value
month       - Month value (1-12)
day         - Day value (1-31)

day_of_week - Day of week (Sunday = 0, Saturday = 6)
jd          - Julian Day Number

hour        - Hour value (0-23)
minute      - Minute value (0-59)
second      - Second value (0-59)
millisecond - Millisecond value (0-999)

Each of the above listed fields can have the following values:

1. Nil / undefined (matches everything it is compared with)
2. A number that is native/accepted for a particular field, e.g. 1 or -2 (negative values count from the end)
3. A list of numbers native/accepted for a particular field, e.g. [1, 2] or [1, -2] (negative values count from the end)
4. A range, e.g. 1..6
5. A range with a step, e.g. (1..6).step(2)
6. True (inserts default values in place of 'true')
7. A proc (accepts Int32 as arg, and returns Bool) (not tested extensively)

Weekday (Day of Week) and Julian Day Number

The day of week and Julian Day Number fields are in relation with the Y/m/d values. One can't change one without triggering an automatic change in the other. Specifically:

As long as VirtualTime is materialized (i.e. has specific Y/m/d values), then changing any of those values will update day_of_week and jd automatically. Similarly, setting Julian Day Number will automatically update Y/m/d (and implicitly also day of week) and cause the date to become materialized.

Please note that in the current behavior, setting day_of_week will not affect Y/m/d or jd. In essence, if Y/m/d is set and day of week is later changed from its existing/auto-computed value, it will probably no longer match any date, because the date and day of week will be out of sync. This behavior may be useful in rare circumstances (most probably generated by some automated script) where you want to match a fixed date, but only if that date also happens to fall on a specified day of week.

Please also note that in the current behavior, de-materializing a VT resets both day_of_week and jd to nil.

The current behavior was choosen based on the assumption that it would be the most intuitive / most useful behavior. It could be changed if some other behavior is deemed more appropriate.

Altogether, the described syntax allows for specifying simple but functionally intricate rules, of which just some of them are:

day=-1                     -- matches last day in month
day_of_week=6, day=24..31  -- matches last Saturday in month
day_of_week=1..5, day=-1   -- matches last day of month if it is a workday

Please note that these are individual VirtualTime rules. Complete Items (described below) can have multiple VirtualTimes set as their due, omit, and check dates, so really arbitrary rules can be expressed.

VirtualTime from String

There are two ways to create a VirtualTime and both have been implicitly shown in use above.

One is by invoking e.g. vt = VirtualTime.new and then setting the individual fields on vt.

For example:

vt = Crystime::VirtualTime.new

vt.year = nil # Remains unspecified, matches everything it is compared with
vt.month = 3
vt.day = [1,2]
vt.hour = (10..20)
vt.minute = (10..20).step(2)
vt.second = true
vt.millisecond = ->( val : Int32) { true }

Another is creating a VirtualTime from a string, using notation vt = VirtualTime["... string ..."]. This parser should eventually support everything supported by Ruby's Time.parse, Date.parse, DateTime.parse, etc., but for now it supports the following strings and their combinations:

# Year-Month-Day
yyyy-mm?-dd?
yyyy.mm?.dd?
yyyy/mm?/dd?

# Hour-Minute-Second-Millisecond
hh?:mm?:ss?
hh?:mm?:ss?:mss?
hh?:mm?:ss?.mss?

# Year
yyyy

# Month abbreviations
JAN, Feb, ...

# Day names
MON, Tue, ...

For example:

vt = VirtualTime["JAN 2018"]
p vt.month # ==> 1

vt = VirtualTime["2018 sun"]
p vt.day_of_week # ==> 0

vt = VirtualTime["2018 wed 12:00:00"]
p vt.day_of_week # ==> 3

VirtualTime Materialization

VirtualTimes sometimes need to be fully materialized for the purpose of display, calculation, comparison, or conversion. An obvious such case is when to_time() is invoked on a VT, because a Time object must have all of its fields set.

For that purpose, each VirtualTime keeps track of which of its 7 fields (Y, m, d, H, M, S, and millisecond) are set, and which of them are materializable. If any of the individual fields are not materializable, then the VT is not either, and an Exception is thrown if materialization is attempted.

Currently, unset values and specific integers are materializable, while fields containing any other specification are not.

In a call to materialize!, one can specify a "hint" argument, whose values will be used to aid the materialization process. E.g. to default dates to current date, to default times to 12:00 instead of to 00:00, to materialize ranges to something other than their beginning, or to run procs which will return values produced in a custom way.

Currently, the implementation is simple, and hint's values are used verbatim in place of nils in the original VT, so they are expected to be simple integers.

For example:

vt= Crystime::VirtualTime.new

# These fields will be used as-is:
vt.year= 2018
vt.day= 15

# While others (nils) will be taken from "hint":
hint= Crystime::VirtualTime.new 1,2,3,4,5,6,7

vt.materialize!(hint).to_array # ==> [2018,2,15,4,5,6,7]

For convenience, the VT's ability to materialize each of its individual fields using their current values can be checked through a getter named ts:

vt = Crystime::VirtualTime.new

vt.year = nil
vt.month = 3
vt.day = [1,2]
vt.hour = (10..20)
vt.minute = (10..20).step(2)
vt.second = true
vt.millisecond = ->( val : Int32) { true }

# Fields containing nil or true are materializable; fields containing false are not:
vt.ts # ==> [nil, true, false, false, false, false, false]

Item in Detail

As mentioned, Item is the toplevel object representing a task/event/etc.

It does not contain any task/event-specific properties, it only concerns itself with the scheduling aspect and has the following fields:

start      - Start VirtualTime (item is never "on" before this date)
stop       - End VirtualTime (item is never "on" after this date)

due        - List of due/on VirtualTimes
omit       - List of omit/not-on VirtualTimes

omit_shift - What to do if item falls on an omitted date/time:
           - nil: treat it as not being "on"
           - false: treat it as being "on", but falling on an omitted
             and non-reschedulable date, so effectively it is not "on"
           - true: treat it as "on", regardless of falling on omitted date
           - Crystime::Span or Time::Span: attempt shifting (rescheduling) by specified span on
             each attempt. The span to shift can be negative or positive for
             shifting to an earlier or later date.

shift      - List of VirtualTimes which the new proposed item time (produced by
             shifting the date by omit_shift span in an attempt to reschedule it)
             must match for the item to be considered "on"

# (Reminder capabilities were previously in, but now they are
# waiting for a rewrite and essentially aren't available.)

Here's an example of an item that's due every other day in March, but if it falls on a weekend it is ignored. (This is also one from the examples/ folder.)

# Create an item:
item = Crystime::Item.new

# Create a VirtualTime that matches every other day in March:
due_march = Crystime::VirtualTime.new
due_march.month = 3
due_march.day = (2..31).step 2
# Add this VirtualTime as due date to item:
item.due<< due_march

# But on weekends it should not be scheduled:
not_due_weekend = Crystime::VirtualTime.new
not_due_weekend.day_of_week = [0,6]
# Add this VirtualTime as omit date to item:
item.omit<< not_due_weekend

item.omit_shift = nil

# Now let's check when it is due and when not:
(1..31).each do |d|
  p "2017-03-#{d} = #{item.on?( Crystime::VirtualTime["2017-03-#{d}"])}"
end

Additional Info

All of the features are covered by specs, please see spec/* for more ideas and actual, working examples. To run specs, run the usual command:

crystal spec

In addition to that, also check the examples in the folder examples/.

TODO

1. Add reminder functions. Previously remind features were implemented using their own code/approach. But maybe reminders should be just regular Items whose exact due date/time is certain offset from the original Item's date/time.
2. Currently, there is good code for inserting default values if field's value is "true", but there is no ways for users to fill in those defaults
3. Add more cases in which a VirtualTime is materializable (currently it is not if any of its values are anything else other than unset or a number). This should work with the help of user-supplied VT as argument, which will provide hints how to materialize objects in case of ambiguities or multiple choices.
4. Add more features suitable to be used in a reimplementation of cron using this module
5. Add a rbtree or something, sorting the items in order of most recent to most distant due date
6. Possibly add some support for triggering actions on exact due dates of items/reminders
7. Implement a complete task tracking program using Crystime
8. Write support for exporting items into other calendar apps
9. Proc in VT values should be able to accept all value types that a VT field can accept