interval-algebra alternatives and similar packages
Based on the "Algebra" category.
Alternatively, view interval-algebra 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. -
partial-semigroup
A partial binary associative operator (appendMaybe :: a → a → Maybe a) -
sparse-tensor
typesafe implementation of tensor algebra in Haskell -
tropical-geometry
Haskell Library for Tropical Geometry -
groups-generic
Derive Group instances using generics (Haskell library) -
-
multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter -
cl3-hmatrix-interface
An interface to/from the Cl3 and HMatrix libraries -
cl3-linear-interface
An interface to/from the Cl3 and Linear libraries -
linear-tests
tests for Matrix.Linear Haskell library. Includes Arbitrary instances and property tests
Static code analysis for 29 languages.
Do you think we are missing an alternative of interval-algebra or a related project?
|
Access the most powerful time series database as a service
sponsored
www.influxdata.com
|
Popular Comparisons
|
SaaSHub - Software Alternatives and Reviews
sponsored
www.saashub.com
|
README
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 three typeclasses designed to separate concerns of constructing, relating, and combining types that contain Intervals:
Intervallicprovides an interface to the data structures which contain anInterval.IntervalCombinableprovides an interface to methods of combining twoIntervals.IntervalSizeableprovides 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.
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).