Time intervals of statically known length

Closed time intervals of statically known length in minutes. Although such intervals are completely determined by the end time of type ZonedTime that was used for construction, we cache lb and ub als lazy fields of type UTCTime to speed up Interval queries.

Since: 0.2.1

Smart constructor.

ub      (fromEndTime p z) == zonedTimeToUTC z
ubZoned (fromEndTime p z) == z

Retrieve the upper bound that was used in construction, see fromEndTime.

Time intervals of length 10 minutes. In logging applications, aggregate values (e.g. averages, sums, ...) are often taken over a period of 10 minutes and associated with the time when the aggregation was computed.

To create your custom aggregate data type, pair this time interval with the aggregate value, like follows.

data SumOver10Minutes s = Aggregate {
 aggregateValue :: s,
 aggregatedOver :: Min10
 }

instance Interval UTCTime (SumOver10Minutes s) where 
 lb = lb.aggregatedOver
 ub = ub.aggregatedOver

compositeAggregate :: (Interval UTCTime i, Monoid s, Foldable f, IntersectionQuery f UTCTime t) =>
 i -> t (SumOver10Minutes s) -> s
compositeAggregate i = foldMap aggregateValue . getProperIntersects i

Since: 0.2.1

smart constructor

Time intervals comprising quarter of an hour.

Since: 0.2.1

smart constructor