Module awoo::window

Time windows and related.

A time window is a just a simple pair of time points, giving a range of time that is inclusive in its left (start) bound and exclusive in its right (end) part. The type of time is a type variable on the Window type.

A time window can then be mapped to generate a MappedWindow, which is akin to a varying value inside that initial time window. MappedWindow are keys in the architecture of awoo.

Structs

MappedWindow	Action scoped to time windows.
Window	A pure time window.