intervalalgebra alternatives and similar packages
Based on the "Algebra" category.
Alternatively, view intervalalgebra alternatives based on common mentions on social networks and blogs.

cl3
Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0) 
semilattices
join and meet semilattices, lower and upper bounds. 
partialsemigroup
A partial binary associative operator (appendMaybe :: a → a → Maybe a) 
sparsetensor
typesafe implementation of tensor algebra in Haskell 
tropicalgeometry
Haskell Library for Tropical Geometry 
multiinstance
Multiple typeclass instances, selected by explicit application of a phantom type parameter 
lineartests
tests for Matrix.Linear Haskell library. Includes Arbitrary instances and property tests 
groupsgeneric
Derive Group instances using generics (Haskell library) 
cl3hmatrixinterface
An interface to/from the Cl3 and HMatrix libraries 
cl3linearinterface
An interface to/from the Cl3 and Linear libraries
Scout APM: A developer's best friend. Try free for 14days
Do you think we are missing an alternative of intervalalgebra or a related project?
README
intervalalgebra
The intervalalgebra
package implements Allen's interval algebra in Haskell. The main module provides data types and related classes for the intervalbased 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 three typeclasses designed to separate concerns of
constructing, relating, and combining Interval
s:
Intervallic
provides an interface to the data structure of anInterval
, defining how anInterval a
(simply a pair(a, a)
) is constructed.IntervalAlgebraic
provides an interface to theIntervalRelation
s, the workhorse of Allen's temporal logic.IntervalCombinable
provides an interface to methods of combining multipleInterval
s.
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 Interval
s
The modules makes the (opinionated) choice of a total ordering for Intervallic
Interval
s. Namely, the ordering is based on first ordering the begin
s
then the end
s.
Axiom tests
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).
Development
This module is under development and the API may change in the future.