interval-algebra-2.1.0: An implementation of Allen's interval algebra for temporal logic
Copyright(c) NoviSci Inc 2020
LicenseBSD3
Maintainerbsaul@novisci.com
Safe HaskellSafe
LanguageHaskell2010

IntervalAlgebra

Description

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.

Documentation