interval-algebra-0.1.2: An implementation of Allen's interval algebra for temporal logic

Copyright(c) NoviSci Inc 2020
LicenseBSD3
Maintainerbsaul@novisci.com
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

IntervalAlgebra.IntervalFilter

Contents

Description

 
Synopsis

Classes

class IntervalAlgebraic a => IntervalFilterable a where Source #

The IntervalFilterable class provides functions for filtering Lists of Intervals based on IntervalAlgebraic relations.

Minimal complete definition

Nothing

Methods

filterMaker :: ComparativePredicateOf (Interval a) -> Interval a -> [Interval a] -> [Interval a] Source #

Creates a function for filtering a list of Interval as based on a predicate

filterOverlaps :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those overlapping the Interval a p

filterOverlappedBy :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those overlapped by the Interval a p

filterBefore :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those before the Interval a p

filterAfter :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those before the Interval a p

filterMeets :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those meeting the Interval a p

filterMetBy :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those meeting the Interval a p

filterDuring :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those during the Interval a p

filterContains :: Interval a -> [Interval a] -> [Interval a] Source #

Filter a list of Interval as to those containing the Interval a p