pub struct Singleton<X: Prop>(pub X);
Expand description
Wraps a proposition as a predicate.
This is used with Any
to define a finite set of propositions.
Tuple Fields
0: X
Trait Implementations
Auto Trait Implementations
impl<X> RefUnwindSafe for Singleton<X> where
X: RefUnwindSafe,
impl<X> Send for Singleton<X> where
X: Send,
impl<X> Sync for Singleton<X> where
X: Sync,
impl<X> Unpin for Singleton<X> where
X: Unpin,
impl<X> UnwindSafe for Singleton<X> where
X: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more