The IntervalAlgebra module provides data types and related classes for the interval-based temporal logic described in Allen (1983) and axiomatized in Allen and Hayes (1987). A good primer on Allen's algebra can be found here.

This main module reexports IntervalAlgebra.Core, IntervalAlgebra.IntervalUtilities, and IntervalAlgebra.PairedInterval, which is probably more than enough to get going for most cases.