úÎ!IŽF"5      !"#$%&'()*+,-./01234*Implementation of Allen's interval algebra(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalSafe4®interval-algebra+Defines a predicate of two objects of type a.interval-algebraThe / typeclass provides methods combining multiple s.interval-algebraMaybe form a new  by the union of two s that meet.interval-algebraThe Ä typeclass specifies the functions and relational operators for interval-based temporal logic. The typeclass defines the relational operators for intervals, plus other useful utilities such as , , and .interval-algebra)Compare two intervals to determine their .interval-algebraDoes x equal y?interval-algebraDoes x meet y? Is y metBy x?interval-algebraDoes x meet y? Is y metBy x?interval-algebraIs x before y? Is x after y? interval-algebraIs x before y? Is x after y? interval-algebra'Does x overlap y? Is x overlapped by y? interval-algebra'Does x overlap y? Is x overlapped by y? interval-algebra"Does x start y? Is x started by y? interval-algebra"Does x start y? Is x started by y?interval-algebra$Does x finish y? Is x finished by y?interval-algebra$Does x finish y? Is x finished by y?interval-algebra Is x during y? Does x contain y?interval-algebra Is x during y? Does x contain y?interval-algebra@Compose a list of interval relations with _or_ to create a new   a.For example,  composeRelations [before, meets]f creates a predicate function determining if one interval is either before or meets another interval.interval-algebraAre x and y disjoint (,  , , or )?interval-algebra"Is x contained in y in any sense (,  ,  or ?interval-algebraThe  typeclass specifies how an  a=s is constructed. It also includes functions for getting the  and  of an  a.interval-algebraSafely parse a pair of as to create an  a.interval-algebra Create a new  a. This function is not* safe as it does not enforce that x < yŸ. Use with caution. It is meant to be helper function in early prototyping of this package. This function may be deprecated in future releases.interval-algebraAccess the ends of an  a .interval-algebraAccess the ends of an  a .interval-algebraThe 6 type enumerates the thirteen possible ways that two  a6 objects can relate according to the interval algebra. Meets, Metby x `meets` y y `metBy` x x: |-----| y: |-----|  Before, After x `before` y y `after` x !x: |-----| y: |-----| Overlaps, OverlappedBy !x `overlaps` y y `overlappedBy` x x: |-----| y: |-----| Starts, StartedBy x `starts` y y `startedBy` x x: |---| y: |-----| Finishes, FinishedBy x `finishes` y y `finishedBy` x x: |---| y: |-----| During, Contains x `during` y y `contains` x x: |-| y: |-----| Equal x `equal` y y `equal` x x: |-----| y: |-----| interval-algebraAn  a is a pair of as  (x, y) \text{ where } x < y. The  class provides a safe  function that returns a 5 error if y < x and @ as constructor for creating an interval that may not be valid. !interval-algebraImposes a total ordering on  a! based on first ordering the  s then the s.    ^Offers functions for filtering list of intervals based on a reference interval.(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalSafeEo +interval-algebraThe +( class provides functions for filtering Lists of  s based on  relations.,interval-algebraKCreates a function for filtering a list of Interval as based on a predicate-interval-algebraBFilter a list of Interval as to those overlapping the Interval a p.interval-algebraDFilter a list of Interval as to those overlapped by the Interval a p/interval-algebra=Filter a list of Interval as to those before the Interval a p0interval-algebra=Filter a list of Interval as to those before the Interval a p1interval-algebra>Filter a list of Interval as to those meeting the Interval a p2interval-algebra>Filter a list of Interval as to those meeting the Interval a p3interval-algebra=Filter a list of Interval as to those during the Interval a p4interval-algebraAFilter a list of Interval as to those containing the Interval a p +,-./01234 +,-./01234SafeEý6789:;<=>      !"#$%&'()*+,-./0123456789:;<=>?@ABC-interval-algebra-0.1.2-Dz5kOTImAxd4G9NP4sJO1HIntervalAlgebraIntervalAlgebra.IntervalFilterPaths_interval_algebraComparativePredicateOfIntervalCombinable.+.IntervalAlgebraicrelateequalsmeetsmetBybeforeafteroverlaps overlappedBystarts startedByfinishes finishedByduringcontainscomposeRelationsdisjointin' Intervallic parseIntervalunsafeIntervalbeginendIntervalRelationInterval$fIntervallicDay$fIntervallicInteger$fIntervallicInt$fShowInterval $fOrdInterval$fIntervalAlgebraicDay$fIntervalAlgebraicInteger$fIntervalAlgebraicInt$fIntervalCombinableDay$fIntervalCombinableInteger$fIntervalCombinableInt $fEqInterval$fShowIntervalRelation$fReadIntervalRelationIntervalFilterable filterMakerfilterOverlapsfilterOverlappedBy filterBefore filterAfter filterMeets filterMetBy filterDuringfilterContainsbase Data.EitherLeftversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName