| 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.RelationProperties
Description
This module exports 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.
Synopsis
- allIArelations :: (SizedIv (Interval a), Ord a) => [ComparativePredicateOf1 (Interval a)]
- prop_exclusiveRelations :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
- prop_predicate_unions :: (SizedIv (Interval a), Ord a) => Set IntervalRelation -> ComparativePredicateOf2 (Interval a) (Interval a) -> Interval a -> Interval a -> Property
- prop_IAbefore :: forall a. (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property
- prop_IAstarts :: (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property
- prop_IAfinishes :: (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property
- prop_IAoverlaps :: forall a. (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property
- prop_IAduring :: forall a. (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property
- prop_disjoint_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
- prop_notdisjoint_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
- prop_concur_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
- prop_within_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
- prop_enclosedBy_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
- prop_encloses_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property
Documentation
allIArelations :: (SizedIv (Interval a), Ord a) => [ComparativePredicateOf1 (Interval a)] Source #
prop_exclusiveRelations :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property Source #
For any two pair of intervals exactly one IntervalRelation should hold
prop_predicate_unions :: (SizedIv (Interval a), Ord a) => Set IntervalRelation -> ComparativePredicateOf2 (Interval a) (Interval a) -> Interval a -> Interval a -> Property Source #
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 :: forall a. (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property Source #
prop_IAstarts :: (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property Source #
prop_IAfinishes :: (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property Source #
prop_IAoverlaps :: forall a. (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property Source #
prop_IAduring :: forall a. (SizedIv (Interval a), Ord a, Ord (Moment (Interval a))) => Interval a -> Interval a -> Property Source #
prop_disjoint_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property Source #
prop_notdisjoint_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property Source #
prop_concur_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property Source #
prop_within_predicate :: (SizedIv (Interval a), Ord a) => Interval a -> Interval a -> Property Source #