pub struct ModelDocumentContent {
pub name: String,
pub theory: String,
pub editor_variant: Option<String>,
pub notebook: Notebook<ModelJudgment>,
pub version: String,
}Expand description
This is the content of a model document. For legacy reasons, we reserve
the name “ModelDocument” for Document & { type: "model" }.
Fields§
§name: String§theory: String§editor_variant: Option<String>§notebook: Notebook<ModelJudgment>§version: StringTrait Implementations§
Source§impl Debug for ModelDocumentContent
impl Debug for ModelDocumentContent
Source§impl<'de> Deserialize<'de> for ModelDocumentContent
impl<'de> Deserialize<'de> for ModelDocumentContent
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 ModelDocumentContent
impl PartialEq for ModelDocumentContent
Source§impl Serialize for ModelDocumentContent
impl Serialize for ModelDocumentContent
impl Eq for ModelDocumentContent
impl StructuralPartialEq for ModelDocumentContent
Auto Trait Implementations§
impl Freeze for ModelDocumentContent
impl RefUnwindSafe for ModelDocumentContent
impl Send for ModelDocumentContent
impl Sync for ModelDocumentContent
impl Unpin for ModelDocumentContent
impl UnwindSafe for ModelDocumentContent
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
§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