pub enum ObligationType {
Obligatory,
Permitted,
Forbidden,
}Expand description
The SDL modality of this obligation.
Variants§
Trait Implementations§
Source§impl Clone for ObligationType
impl Clone for ObligationType
Source§fn clone(&self) -> ObligationType
fn clone(&self) -> ObligationType
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for ObligationType
Source§impl Debug for ObligationType
impl Debug for ObligationType
impl Eq for ObligationType
Source§impl PartialEq for ObligationType
impl PartialEq for ObligationType
impl StructuralPartialEq for ObligationType
Auto Trait Implementations§
impl Freeze for ObligationType
impl RefUnwindSafe for ObligationType
impl Send for ObligationType
impl Sync for ObligationType
impl Unpin for ObligationType
impl UnsafeUnpin for ObligationType
impl UnwindSafe for ObligationType
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more