pub unsafe trait MonotoneContractionBackend: ContractionBackend { }Expand description
Marker trait for ContractionBackends that guarantee that it represents a monotonic function
§Safety
Implementing this trait guarantees that for all x and y:
x < yiffself.get(x) < self.get(y), and- if
self.index_of(x) != Noneandself.index_of(y) != None, thenx < yiffself.index_of(x) < self.index_of(y).
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.