Îõ³h$ Z}Ñ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP*Implementation of Allen's interval algebra(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalNoneÁÂÄÙìü3interval-algebraThe ( class provides functions for filtering Qs of 2 s based on  relations.interval-algebra#Creates a function for filtering a Q of  Interval as based on a predicateinterval-algebra Filter a Q of  Interval as to those that   the  Interval a in the first argument.interval-algebra Filter a Q of  Interval a s to those ! the  Interval a in the first argument.interval-algebra Filter a Q of Interval as to those  the  Interval a in the first argument.interval-algebra Filter a Q of Interval as to those  the  Interval a in the first argument.interval-algebra Filter a Q of Interval as to those that  the  Interval a in the first argument.interval-algebra Filter a Q of Interval as to those  the  Interval a in the first argument.interval-algebra Filter a Q of Interval as to those & the  Interval a in the first argument. interval-algebra Filter a Q of Interval as to those that ' the  Interval a in the first argument. interval-algebraThe  9 typeclass provides methods for (possibly) combining two 2s. interval-algebraMaybe form a new 2 by the union of two 2s that . interval-algebraCreates a new Interval spanning the extent x and y interval-algebraIf x is  y, then form a new Just Interval a, from the interval in the "gap" between x and y from the / of x to the . of y . Otherwise, R.interval-algebraIf x is  y , return f x appended to f y. Otherwise, return   of x and y (wrapped in fÁ). This is useful for folding over an *ordered* container of Interval#s and combining intervals when x is *not*  y.interval-algebraThe Õ typeclass provides functions to determine the size of and to resize an 'Interval a'.interval-algebra*Determine the duration of an 'Interval a'.interval-algebra Shifts an a. Most often, the b will be the same type as a. But for example, if a is S then b could be T.interval-algebra4Resize an 'Interval a' to by expanding to "left" by  max l moment and to the "right" by  min r moment. interval-algebra%Expands an 'Interval a' to left by i.interval-algebra&Expands an 'Interval a' to right by i.interval-algebra%Safely creates an 'Interval a' using x as the . and adding max moment dur to x as the /.interval-algebra%Safely creates an 'Interval a' using x as the / and adding negate max moment dur to x as the ..interval-algebraThe 9 class fixes the smallest duration of an 'Intervallic a'.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 1.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 0 2 a. For example,  composeRelations [before, meets]æ 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 2 a=s is constructed. It also includes functions for getting the . and / of an 2 a.,interval-algebraSafely parse a pair of as to create an 2 a.-interval-algebra Create a new 2 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 2 a ./interval-algebraAccess the ends of an 2 a .0interval-algebra+Defines a predicate of two objects of type a.1interval-algebraThe 16 type enumerates the thirteen possible ways that two 2 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: |-----| 2interval-algebraAn 2 a is a pair of as  (x, y) \text{ where } x < y. The + class provides a safe , function that returns a U error if y < x and -À as constructor for creating an interval that may not be valid. 7interval-algebraImposes a total ordering on 2 a! based on first ordering the . s then the /s.3  ) !"#$%&'(*+,-./0123+,-./) !"#$%&'(*   210,Functions for generating arbitrary intervals(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalNone>Àê3Functions for operating on containers of Intervals.(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalNone>ÀCMinterval-algebra§Returns a list of intervals where any intervals that meet or share support are combined into one interval. *To work properly, the input list should be sorted*. Ninterval-algebra Returns a (possibly empty) list of intervals consisting of the gaps between intervals in the input list. *To work properly, the input list should be sorted*.Ointerval-algebra Returns the  of each 2 in the V f.MNOMNO Safe-InferredpWXYZ[\]^ß      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`aYbcYdefghijklmî-interval-algebra-0.3.0-A7A2uvh46py8XRacD2ysPvIntervalAlgebraIntervalAlgebra.Arbitrary!IntervalAlgebra.IntervalUtilitiesPaths_interval_algebraIntervalFilterable filterMakerfilterOverlapsfilterOverlappedBy filterBefore filterAfter filterMeets filterMetBy filterDuringfilterContainsIntervalCombinable.+. extenterval><<+>IntervalSizeabledurationaddexpandexpandlexpandr beginervalendervalMomentmomentIntervalAlgebraicrelateequalsmeetsmetBybeforeafteroverlaps overlappedBystarts startedByfinishes finishedByduringcontainscomposeRelationsdisjointin' Intervallic parseIntervalunsafeIntervalbeginendComparativePredicateOfIntervalRelationInterval$fIntervallicDay$fIntervallicInteger$fIntervallicInt$fShowInterval $fOrdInterval$fIntervalAlgebraicDay$fIntervalAlgebraicInteger$fIntervalAlgebraicInt$fMomentDayInteger$fMomentIntegerInteger$fMomentIntInt$fIntervalSizeableDayInteger $fIntervalSizeableIntegerInteger$fIntervalSizeableIntInt$fIntervalCombinableDay$fIntervalCombinableInteger$fIntervalCombinableInt$fIntervalFilterable[]Day$fIntervalFilterable[]Integer$fIntervalFilterable[]Int$fShowIntervalRelation$fReadIntervalRelation $fEqInterval$fArbitraryInterval$fArbitraryDay$fArbitraryInterval0combineIntervalsgaps durations$fSemigroupBox'witherable-0.4.1-8uH4Z4eydB8I1J1GFp0Bu3 Witherable Filterablebase GHC.MaybeNothing time-1.9.3Data.Time.Calendar.DaysDayghc-prim GHC.TypesInt Data.EitherLeftGHC.BaseFunctorversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName