Struct enso_prelude::WithPhantom [−][src]
pub struct WithPhantom<T, P = ()> { pub without_phantom: T, // some fields omitted }
Expand description
A wrapper adding a phantom type to a structure.
Fields
without_phantom: T
Implementations
Trait Implementations
Auto Trait Implementations
impl<T, P> RefUnwindSafe for WithPhantom<T, P> where
P: RefUnwindSafe,
T: RefUnwindSafe,
impl<T, P> Send for WithPhantom<T, P> where
P: Send,
T: Send,
impl<T, P> Sync for WithPhantom<T, P> where
P: Sync,
T: Sync,
impl<T, P> Unpin for WithPhantom<T, P> where
P: Unpin,
T: Unpin,
impl<T, P> UnwindSafe for WithPhantom<T, P> where
P: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
The inverse inclusion map: attempts to construct self
from the equivalent element of its
superset. Read more
pub fn is_in_subset(&self) -> bool
pub fn is_in_subset(&self) -> bool
Checks if self
is actually part of its subset T
(and can be converted to it).
pub fn to_subset_unchecked(&self) -> SS
pub fn to_subset_unchecked(&self) -> SS
Use with care! Same as self.to_subset
but without any property checks. Always succeeds.
pub fn from_subset(element: &SS) -> SP
pub fn from_subset(element: &SS) -> SP
The inclusion map: converts self
to the equivalent element of its superset.