pub struct Undertaking {
pub kind: UndertakingKind,
pub text: String,
pub source: Option<String>,
}Expand description
One term of an agreement: a right, obligation, prohibition, or permission, optionally grounded in a values-credential.
Fields§
§kind: UndertakingKindThe deontic character of this term.
text: StringHuman-readable statement of the term.
source: Option<String>The values-credential this term derives from (e.g. a UDHR article id), if any. None = ungrounded /
self-asserted.
Trait Implementations§
Source§impl Clone for Undertaking
impl Clone for Undertaking
Source§fn clone(&self) -> Undertaking
fn clone(&self) -> Undertaking
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 moreSource§impl Debug for Undertaking
impl Debug for Undertaking
Source§impl<'de> Deserialize<'de> for Undertaking
impl<'de> Deserialize<'de> for Undertaking
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for Undertaking
impl PartialEq for Undertaking
Source§fn eq(&self, other: &Undertaking) -> bool
fn eq(&self, other: &Undertaking) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for Undertaking
impl Serialize for Undertaking
impl StructuralPartialEq for Undertaking
Auto Trait Implementations§
impl Freeze for Undertaking
impl RefUnwindSafe for Undertaking
impl Send for Undertaking
impl Sync for Undertaking
impl Unpin for Undertaking
impl UnsafeUnpin for Undertaking
impl UnwindSafe for Undertaking
Blanket Implementations§
§impl<S, A> Aggregate<Result<S, Error>> for Awhere
A: Aggregate<S>,
impl<S, A> Aggregate<Result<S, Error>> for Awhere
A: Aggregate<S>,
Aggregate shares in an MPC protocol.
§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more