# interval-algebra: An implementation of Allen's interval algebra for temporal logic

[ algebra, bsd3, library, time ] [ Propose Tags ]

Versions [faq] 0.1.2, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.4.0, 0.5.0, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 0.7.0, 0.7.1 ChangeLog.md base (>=4.7 && <5), containers (>=0.6), QuickCheck, time (>=1.8 && <2), witherable (>=0.4) [details] BSD-3-Clause 2020 NoviSci Bradley Saul bsaul@novisci.com Algebra, Time https://github.com/novisci/interval-algebra#readme https://github.com/novisci/interval-algebra/issues head: git clone https://github.com/novisci/interval-algebra by bradleysaul at 2021-05-03T17:42:34Z NixOS:0.4.0 1047 total (983 in the last 30 days) (no votes yet) [estimated by Bayesian average] λ λ λ Docs available Last success reported on 2021-05-03

## Modules

[Index] [Quick Jump]

#### Maintainer's Corner

For package maintainers and hackage trustees

[back to package description]

# interval-algebra

The 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.

## Design

The module is built around four typeclasses designed to separate concerns of constructing, relating, and combining Intervals:

1. Intervallic provides an interface to the data structure of an Interval, defining how an Interval a (simply a pair (a, a)) is constructed.
2. IntervalAlgebraic provides an interface to the IntervalRelations, the workhorse of Allen's temporal logic.
3. IntervalCombinable provides an interface to methods of combining multiple Intervals.
4. IntervalSizeable and the related Moment provide methods for measuring and modifying the size of an interval.

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 Intervals

The modules makes the (opinionated) choice of a total ordering for Intervallic Intervals. Namely, the ordering is based on first ordering the begins then the ends.

## Axiom tests

The package includes tests that the functions of the IntervalAlgebraic typeclass meets the axioms for intervals (not points) as laid out in Allen and Hayes (1987).

## Development

This module is under development and the API may change in the future.