Trait timely::progress::timestamp::Refines [−][src]
Conversion between pointstamp types.
This trait is central to nested scopes, for which the inner timestamp must be related to the outer timestamp. These methods define those relationships.
It would be ideal to use Rust’s From and Into traits, but they seem to be messed
up due to coherence: we can’t implement Into
because it induces a from implementation
we can’t control.
Required methods
fn to_inner(other: T) -> Self
[src]
Converts the outer timestamp to an inner timestamp.
fn to_outer(self) -> T
[src]
Converts the inner timestamp to an outer timestamp.
fn summarize(path: Self::Summary) -> <T as Timestamp>::Summary
[src]
Summarizes an inner path summary as an outer path summary.
It is crucial for correctness that the result of this summarization’s results_in
method is equivalent to |time| path.results_in(time.to_inner()).to_outer()
, or
at least produces times less or equal to that result.
Implementations on Foreign Types
impl Refines<()> for usize
[src]
fn to_inner(_: ()) -> usize
[src]
fn to_outer(self)
[src]
fn summarize(_: <usize as Timestamp>::Summary)
[src]
impl Refines<()> for u128
[src]
fn to_inner(_: ()) -> u128
[src]
fn to_outer(self)
[src]
fn summarize(_: <u128 as Timestamp>::Summary)
[src]
impl Refines<()> for u64
[src]
fn to_inner(_: ()) -> u64
[src]
fn to_outer(self)
[src]
fn summarize(_: <u64 as Timestamp>::Summary)
[src]
impl Refines<()> for u32
[src]
fn to_inner(_: ()) -> u32
[src]
fn to_outer(self)
[src]
fn summarize(_: <u32 as Timestamp>::Summary)
[src]
impl Refines<()> for u16
[src]
fn to_inner(_: ()) -> u16
[src]
fn to_outer(self)
[src]
fn summarize(_: <u16 as Timestamp>::Summary)
[src]
impl Refines<()> for u8
[src]
impl Refines<()> for isize
[src]
fn to_inner(_: ()) -> isize
[src]
fn to_outer(self)
[src]
fn summarize(_: <isize as Timestamp>::Summary)
[src]
impl Refines<()> for i128
[src]
fn to_inner(_: ()) -> i128
[src]
fn to_outer(self)
[src]
fn summarize(_: <i128 as Timestamp>::Summary)
[src]
impl Refines<()> for i64
[src]
fn to_inner(_: ()) -> i64
[src]
fn to_outer(self)
[src]
fn summarize(_: <i64 as Timestamp>::Summary)
[src]
impl Refines<()> for i32
[src]
fn to_inner(_: ()) -> i32
[src]
fn to_outer(self)
[src]
fn summarize(_: <i32 as Timestamp>::Summary)
[src]
impl Refines<()> for i16
[src]
fn to_inner(_: ()) -> i16
[src]
fn to_outer(self)
[src]
fn summarize(_: <i16 as Timestamp>::Summary)
[src]
impl Refines<()> for i8
[src]
impl Refines<()> for Duration
[src]
fn to_inner(_: ()) -> Duration
[src]
fn to_outer(self)
[src]
fn summarize(_: <Duration as Timestamp>::Summary)
[src]
Implementors
impl<T: Timestamp> Refines<T> for T
[src]
All types “refine” themselves,