pub struct ModelValidationResult(pub JsResult<(), Vec<InvalidDblModel<Uuid>>>);
Expand description
Result of validating a model of a double theory.
Tuple Fields§
§0: JsResult<(), Vec<InvalidDblModel<Uuid>>>
Trait Implementations§
Source§impl<'de> Deserialize<'de> for ModelValidationResult
impl<'de> Deserialize<'de> for ModelValidationResult
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 From<ModelValidationResult> for JsValuewhere
ModelValidationResult: Serialize,
impl From<ModelValidationResult> for JsValuewhere
ModelValidationResult: Serialize,
Source§fn from(value: ModelValidationResult) -> Self
fn from(value: ModelValidationResult) -> Self
Converts to this type from the input type.
Source§impl FromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
impl FromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
Source§impl IntoWasmAbi for ModelValidationResultwhere
ModelValidationResult: Serialize,
impl IntoWasmAbi for ModelValidationResultwhere
ModelValidationResult: Serialize,
Source§impl OptionFromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
impl OptionFromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
Source§impl OptionIntoWasmAbi for ModelValidationResultwhere
ModelValidationResult: Serialize,
impl OptionIntoWasmAbi for ModelValidationResultwhere
ModelValidationResult: Serialize,
Source§impl RefFromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
impl RefFromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
Source§type Abi = <JsType as RefFromWasmAbi>::Abi
type Abi = <JsType as RefFromWasmAbi>::Abi
The Wasm ABI type references to
Self
are recovered from.Source§type Anchor = SelfOwner<ModelValidationResult>
type Anchor = SelfOwner<ModelValidationResult>
The type that holds the reference to
Self
for the duration of the
invocation of the function that has an &Self
parameter. This is
required to ensure that the lifetimes don’t persist beyond one function
call, and so that they remain anonymous.Source§impl Serialize for ModelValidationResult
impl Serialize for ModelValidationResult
Source§impl Tsify for ModelValidationResult
impl Tsify for ModelValidationResult
const DECL: &'static str = "/**\n * Result of validating a model of a double theory.\n */\nexport type ModelValidationResult = JsResult<undefined, InvalidDblModel<Uuid>[]>;"
const SERIALIZATION_CONFIG: SerializationConfig
type JsType = JsType
fn into_js(&self) -> Result<Self::JsType, Error>where
Self: Serialize,
fn from_js<T>(js: T) -> Result<Self, Error>
Source§impl VectorFromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
impl VectorFromWasmAbi for ModelValidationResultwhere
Self: DeserializeOwned,
type Abi = <JsType as VectorFromWasmAbi>::Abi
unsafe fn vector_from_abi(js: Self::Abi) -> Box<[Self]>
Source§impl VectorIntoWasmAbi for ModelValidationResultwhere
ModelValidationResult: Serialize,
impl VectorIntoWasmAbi for ModelValidationResultwhere
ModelValidationResult: Serialize,
type Abi = <JsType as VectorIntoWasmAbi>::Abi
fn vector_into_abi(vector: Box<[Self]>) -> Self::Abi
Source§impl WasmDescribeVector for ModelValidationResult
impl WasmDescribeVector for ModelValidationResult
Auto Trait Implementations§
impl Freeze for ModelValidationResult
impl RefUnwindSafe for ModelValidationResult
impl Send for ModelValidationResult
impl Sync for ModelValidationResult
impl Unpin for ModelValidationResult
impl UnwindSafe for ModelValidationResult
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
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 moreSource§impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
impl<T> ReturnWasmAbi for Twhere
T: IntoWasmAbi,
Source§type Abi = <T as IntoWasmAbi>::Abi
type Abi = <T as IntoWasmAbi>::Abi
Same as
IntoWasmAbi::Abi
Source§fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
fn return_abi(self) -> <T as ReturnWasmAbi>::Abi
Same as
IntoWasmAbi::into_abi
, except that it may throw and never
return in the case of Err
.§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.