@hackage / interval-algebra

An implementation of Allen's interval algebra for temporal logic

Latest2.2.0

Dependencies

library:interval-algebra (9 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.1 && <1.5
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: ^>=1.2 || ^>=2.0
- License: BSD-2-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version: ^>=0.8
- License: BSD-3-Clause
@hackage / foldl Composable, streaming, and efficient left folds
- Version: ^>=1.4
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: ^>=1.7
- License: BSD-2-Clause
@hackage / time A time library
- Version: >=1.9 && <2
- License: BSD-2-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: ^>=2.14
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: ^>=0.6
- License: BSD-3-Clause

executable:tutorial (5 dependencies)

test:axioms (5 dependencies)

test:interval-algebra-test (6 dependencies)

test:relations (5 dependencies)