interval-algebra-2.2.0: An implementation of Allen's interval algebra for temporal logic
Copyright(c) NoviSci Inc 2020-2022
TargetRWE 2023
LicenseBSD3
Maintainerbsaul@novisci.com 2020-2022 bbrown@targetrwe.com 2023
Safe HaskellSafe-Inferred
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