interval-algebra alternatives and similar packages
Based on the "Algebra" category.
Alternatively, view interval-algebra alternatives based on common mentions on social networks and blogs.
Haskell Library for Tropical Geometry
Do you think we are missing an alternative of interval-algebra or a related project?
interval-algebra package implements Allen's interval algebra in Haskell. The main 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.
The module is built around three typeclasses designed to separate concerns of
constructing, relating, and combining
Intervallicprovides an interface to the data structure of an
Interval, defining how an
Interval a(simply a pair
(a, a)) is constructed.
IntervalAlgebraicprovides an interface to the
IntervalRelations, the workhorse of Allen's temporal logic.
IntervalCombinableprovides an interface to methods of combining multiple
An advantage of nested typeclass design is that developers can define an
Interval of type
a with just the amount of structure that they need.
Total Ordering of
The modules makes the (opinionated) choice of a total ordering for
Intervals. Namely, the ordering is based on first ordering the
The package [includes tests](test/IntervalAlgebraSpec.hs) that the functions of the
IntervalAlgebraic typeclass meets the axioms for intervals (not points) as laid out in Allen and Hayes (1987).
This module is under development and the API may change in the future.