Îõ³h$ ¯ÜÏ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMN*Implementation of Allen's interval algebra(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalNoneÁÂÄ­1interval-algebraThe ( class provides functions for filtering Os of / s based on  relations.interval-algebra#Creates a function for filtering a O of  Interval as based on a predicateinterval-algebra Filter a O of  Interval as to those that  the  Interval a in the first argument.interval-algebra Filter a O of  Interval a s to those  the  Interval a in the first argument.interval-algebra Filter a O of Interval as to those  the  Interval a in the first argument.interval-algebra Filter a O of Interval as to those  the  Interval a in the first argument.interval-algebra Filter a O of Interval as to those that  the  Interval a in the first argument.interval-algebra Filter a O of Interval as to those  the  Interval a in the first argument.interval-algebra Filter a O of Interval as to those # the  Interval a in the first argument. interval-algebra Filter a O of Interval as to those that $ the  Interval a in the first argument. interval-algebraThe  9 typeclass provides methods for (possibly) combining two /s. interval-algebraMaybe form a new / by the union of two /s 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, P.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-algebra0Sets the length of a moment for an 'Interval a'.interval-algebra Shifts an a. Most often, the c will be the same type as the a. But for example, if a is Q then c would be R.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-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]æ 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-algebra+Defines a predicate of two objects of type 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 S error if y < x and *À as constructor for creating an interval that may not be valid. 4interval-algebraImposes a total ordering on / a! based on first ordering the + s then the ,s.0  & !"#$%'(*)+,-./0(*)+,& !"#$%'   /.-,Functions for generating arbitrary intervals(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalNone>ÀADinterval-algebraÇInternal function for converting a number to a strictly positive value.Einterval-algebraÌA function for creating intervals when you think you know what you're doing.Finterval-algebra,Safely create a valid 'Interval a' from two a by adding a positive dur to start% to set the duration of the interval.Ginterval-algebra%Create a 'Maybe Interval a' from two as.DEFGDEFG3Functions for operating on containers of Intervals.(c) NoviSci, Inc 2020BSD3bsaul@novisci.com experimentalNone>À¢Kinterval-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*. Linterval-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*.Minterval-algebra Returns the  of each / in the T f.KLMKLM Safe-InferredÏUVWXYZ[\Ý      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_W`aWbcdefghijkì-interval-algebra-0.2.0-KKJZoGVxLKd7UsZKOMAGgRIntervalAlgebraIntervalAlgebra.Arbitrary!IntervalAlgebra.IntervalUtilitiesPaths_interval_algebraIntervalFilterable filterMakerfilterOverlapsfilterOverlappedBy filterBefore filterAfter filterMeets filterMetBy filterDuringfilterContainsIntervalCombinable.+. extenterval><<+>IntervalSizeabledurationmomentaddexpandexpandlexpandrIntervalAlgebraicrelateequalsmeetsmetBybeforeafteroverlaps overlappedBystarts startedByfinishes finishedByduringcontainscomposeRelationsdisjointin' Intervallic parseIntervalunsafeIntervalbeginendComparativePredicateOfIntervalRelationInterval$fIntervallicDay$fIntervallicInteger$fIntervallicInt$fShowInterval $fOrdInterval$fIntervalAlgebraicDay$fIntervalAlgebraicInteger$fIntervalAlgebraicInt$fIntervalSizeableDayInteger $fIntervalSizeableIntegerInteger$fIntervalSizeableIntInt$fIntervalCombinableDay$fIntervalCombinableInteger$fIntervalCombinableInt$fIntervalFilterable[]Day$fIntervalFilterable[]Integer$fIntervalFilterable[]Int$fShowIntervalRelation$fReadIntervalRelation $fEqIntervalmakePos safeInterval safeInterval'safeInterval''$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