IntervalAlgebra.RelationProperties

This module exports a single typeclass IntervalAxioms which contains property-based tests for the axioms in section 1 of Allen and Hayes (1987). The notation below is that of the original paper.

This module is useful if creating a new instance of interval types that you want to test.

Documentation

class IntervalSizeable a b => IntervalRelationProperties a b where

A collection of properties for the interval algebra. Some of these come from figure 2 in Allen and Hayes (1987).

Minimal complete definition

Nothing

Methods

prop_exclusiveRelations :: Interval a -> Interval a -> Property

For any two pair of intervals exactly one IntervalRelation should hold

prop_predicate_unions :: Ord a => Set IntervalRelation -> ComparativePredicateOf2 (Interval a) (Interval a) -> Interval a -> Interval a -> Property

Given a set of interval relations and predicate function, test that the predicate between two interval is equivalent to the relation of two intervals being in the set of relations.

prop_IAbefore :: Interval a -> Interval a -> Property

prop_IAstarts :: Interval a -> Interval a -> Property

prop_IAfinishes :: Interval a -> Interval a -> Property

prop_IAoverlaps :: Interval a -> Interval a -> Property

prop_IAduring :: Interval a -> Interval a -> Property

prop_disjoint_predicate :: Ord a => Interval a -> Interval a -> Property

prop_notdisjoint_predicate :: Ord a => Interval a -> Interval a -> Property

prop_concur_predicate :: Ord a => Interval a -> Interval a -> Property

prop_within_predicate :: Ord a => Interval a -> Interval a -> Property

prop_enclosedBy_predicate :: Ord a => Interval a -> Interval a -> Property

prop_enclose_predicate :: Ord a => Interval a -> Interval a -> Property

Instances

IntervalRelationProperties Int Int

Defined in IntervalAlgebra.RelationProperties

Methods

prop_exclusiveRelations :: Interval Int -> Interval Int -> Property

prop_predicate_unions :: Set IntervalRelation -> ComparativePredicateOf2 (Interval Int) (Interval Int) -> Interval Int -> Interval Int -> Property

prop_IAbefore :: Interval Int -> Interval Int -> Property

prop_IAstarts :: Interval Int -> Interval Int -> Property

prop_IAfinishes :: Interval Int -> Interval Int -> Property

prop_IAoverlaps :: Interval Int -> Interval Int -> Property

prop_IAduring :: Interval Int -> Interval Int -> Property

prop_disjoint_predicate :: Interval Int -> Interval Int -> Property

prop_notdisjoint_predicate :: Interval Int -> Interval Int -> Property

prop_concur_predicate :: Interval Int -> Interval Int -> Property

prop_within_predicate :: Interval Int -> Interval Int -> Property

prop_enclosedBy_predicate :: Interval Int -> Interval Int -> Property

prop_enclose_predicate :: Interval Int -> Interval Int -> Property

IntervalRelationProperties UTCTime NominalDiffTime

Defined in IntervalAlgebra.RelationProperties

Methods

prop_exclusiveRelations :: Interval UTCTime -> Interval UTCTime -> Property

prop_predicate_unions :: Set IntervalRelation -> ComparativePredicateOf2 (Interval UTCTime) (Interval UTCTime) -> Interval UTCTime -> Interval UTCTime -> Property

prop_IAbefore :: Interval UTCTime -> Interval UTCTime -> Property

prop_IAstarts :: Interval UTCTime -> Interval UTCTime -> Property

prop_IAfinishes :: Interval UTCTime -> Interval UTCTime -> Property

prop_IAoverlaps :: Interval UTCTime -> Interval UTCTime -> Property

prop_IAduring :: Interval UTCTime -> Interval UTCTime -> Property

prop_disjoint_predicate :: Interval UTCTime -> Interval UTCTime -> Property

prop_notdisjoint_predicate :: Interval UTCTime -> Interval UTCTime -> Property

prop_concur_predicate :: Interval UTCTime -> Interval UTCTime -> Property

prop_within_predicate :: Interval UTCTime -> Interval UTCTime -> Property

prop_enclosedBy_predicate :: Interval UTCTime -> Interval UTCTime -> Property

prop_enclose_predicate :: Interval UTCTime -> Interval UTCTime -> Property

IntervalRelationProperties Day Integer

Defined in IntervalAlgebra.RelationProperties

Methods

prop_exclusiveRelations :: Interval Day -> Interval Day -> Property

prop_predicate_unions :: Set IntervalRelation -> ComparativePredicateOf2 (Interval Day) (Interval Day) -> Interval Day -> Interval Day -> Property

prop_IAbefore :: Interval Day -> Interval Day -> Property

prop_IAstarts :: Interval Day -> Interval Day -> Property

prop_IAfinishes :: Interval Day -> Interval Day -> Property

prop_IAoverlaps :: Interval Day -> Interval Day -> Property

prop_IAduring :: Interval Day -> Interval Day -> Property

prop_disjoint_predicate :: Interval Day -> Interval Day -> Property

prop_notdisjoint_predicate :: Interval Day -> Interval Day -> Property

prop_concur_predicate :: Interval Day -> Interval Day -> Property

prop_within_predicate :: Interval Day -> Interval Day -> Property

prop_enclosedBy_predicate :: Interval Day -> Interval Day -> Property

prop_enclose_predicate :: Interval Day -> Interval Day -> Property