Trait chronologic::TimeBounds

pub trait TimeBounds {
    type TimePoint: TimePoint;

    // Required methods
    fn is_empty(&self) -> bool;
    fn is_low_bounded(&self) -> bool;
    fn is_up_bounded(&self) -> bool;
    fn lower_bound(&self) -> Self::TimePoint;
    fn upper_bound(&self) -> Self::TimePoint;

    // Provided methods
    fn is_singleton(&self) -> bool { ... }
    fn is_bounded(&self) -> bool { ... }
}

The envelope (the bounds) of a time window

A trait which describes the envelope of a time window.

Required Associated Types

type TimePoint: TimePoint

The type of the underlying time data.

This is also the type of the element managed by a time window. Typically, the timepoint is Timestamp when dealing with dates and TimeValue when dealing with durations.

Required Methods

fn is_empty(&self) -> bool

Checks if this time window is empty

fn is_low_bounded(&self) -> bool

Checks if this time window has a finite lower bound

It returns also false if this time window is empty.

fn is_up_bounded(&self) -> bool

Checks if this time window has a finite upper bound

It returns also false if this time window is empty.

fn lower_bound(&self) -> Self::TimePoint

The lower bound of the time window

The behavior is undefined if the time window is empty

fn upper_bound(&self) -> Self::TimePoint

The upper bound of the time window

The behavior is undefined if the time window is empty

Provided Methods

fn is_singleton(&self) -> bool

Checks if this time window contains exactly one value

A singleton is not empty and its lower bound equals its upper bound.

fn is_bounded(&self) -> bool

Checks if this time window is bounded

It returns also false if this time window is empty.

Implementations on Foreign Types

impl<T: TimePoint> TimeBounds for Range<T>

type TimePoint = T

fn is_empty(&self) -> bool

fn is_bounded(&self) -> bool

fn is_low_bounded(&self) -> bool

fn is_up_bounded(&self) -> bool

fn lower_bound(&self) -> Self::TimePoint

fn upper_bound(&self) -> Self::TimePoint

impl<T: TimePoint> TimeBounds for RangeFrom<T>

type TimePoint = T

fn is_empty(&self) -> bool

fn is_bounded(&self) -> bool

fn is_low_bounded(&self) -> bool

fn is_up_bounded(&self) -> bool

fn lower_bound(&self) -> Self::TimePoint

fn upper_bound(&self) -> Self::TimePoint

impl<T: TimePoint> TimeBounds for RangeInclusive<T>

type TimePoint = T

fn is_empty(&self) -> bool

fn is_bounded(&self) -> bool

fn is_low_bounded(&self) -> bool

fn is_up_bounded(&self) -> bool

fn lower_bound(&self) -> Self::TimePoint

fn upper_bound(&self) -> Self::TimePoint

impl<T: TimePoint> TimeBounds for RangeTo<T>

type TimePoint = T

fn is_empty(&self) -> bool

fn is_bounded(&self) -> bool

fn is_low_bounded(&self) -> bool

fn is_up_bounded(&self) -> bool

fn lower_bound(&self) -> Self::TimePoint

fn upper_bound(&self) -> Self::TimePoint

impl<T: TimePoint> TimeBounds for RangeToInclusive<T>

type TimePoint = T

fn is_empty(&self) -> bool

fn is_bounded(&self) -> bool

fn is_low_bounded(&self) -> bool

fn is_up_bounded(&self) -> bool

fn lower_bound(&self) -> Self::TimePoint

fn upper_bound(&self) -> Self::TimePoint

impl<TW> TimeBounds for ((Instant, Instant), TW)

where TW: TimeBounds<TimePoint = TimeValue>,

type TimePoint = TimeValue

fn is_empty(&self) -> bool

fn is_low_bounded(&self) -> bool

fn is_up_bounded(&self) -> bool

fn lower_bound(&self) -> TimeValue

fn upper_bound(&self) -> TimeValue

Implementors

impl TimeBounds for TimeValue

type TimePoint = TimeValue

impl TimeBounds for Timestamp

type TimePoint = Timestamp

impl<T: TimePoint> TimeBounds for TimeInterval<T>

type TimePoint = T

impl<T: TimePoint> TimeBounds for TimeSet<T>

type TimePoint = T