| Copyright | (c) NoviSci Inc 2020-2022 TargetRWE 2023 |
|---|---|
| License | BSD3 |
| Maintainer | bsaul@novisci.com 2020-2022 bbrown@targetrwe.com 2023 |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
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
module IntervalAlgebra.Core