catlog_wasm::model

Struct DblModel

pub struct DblModel(pub DblModelBox);

Expand description

Wasm bindings for a model of a double theory.

Tuple Fields§

§0: DblModelBox

Implementations§

impl DblModel

pub fn new(theory: &DblTheory) -> Self

Creates an empty model of the given theory.

pub fn add_ob(&mut self, decl: ObDecl) -> Result<bool, String>

Adds an object to the model.

pub fn add_mor(&mut self, decl: MorDecl) -> Result<bool, String>

Adds a morphism to the model.

pub fn has_ob(&self, ob: Ob) -> Result<bool, String>

Is the object contained in the model?

pub fn has_mor(&self, mor: Mor) -> Result<bool, String>

Is the morphism contained in the model?

pub fn objects(&self) -> Vec<Ob>

Returns array of all basic objects in the model.

pub fn morphisms(&self) -> Vec<Mor>

Returns array of all basic morphisms in the model.

pub fn objects_with_type(&self, ob_type: ObType) -> Result<Vec<Ob>, String>

Returns array of basic objects with the given type.

pub fn morphisms_with_type(&self, mor_type: MorType) -> Result<Vec<Mor>, String>

Returns array of basic morphisms with the given type.

pub fn validate(&self) -> ModelValidationResult

Validates that the model is well defined.

Trait Implementations§

impl From<DblModel> for JsValue

fn from(value: DblModel) -> Self

Converts to this type from the input type.

impl FromWasmAbi for DblModel

type Abi = u32

The Wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi. Read more

impl IntoWasmAbi for DblModel

type Abi = u32

The Wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for DblModel

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRef<DblModel>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for DblModel

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for DblModel

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option. Read more

impl RefFromWasmAbi for DblModel

type Abi = u32

The Wasm ABI type references to Self are recovered from.

type Anchor = RcRef<DblModel>

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.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi. Read more

impl RefMutFromWasmAbi for DblModel

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRefMut<DblModel>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for DblModel

type Error = JsValue

The type returned in the event of a conversion error.

fn try_from_js_value(value: JsValue) -> Result<Self, Self::Error>

Performs the conversion.

impl VectorFromWasmAbi for DblModel

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[DblModel]>

impl VectorIntoJsValue for DblModel

fn vector_into_jsvalue(vector: Box<[DblModel]>) -> JsValue

impl VectorIntoWasmAbi for DblModel

type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[DblModel]>) -> Self::Abi

impl WasmDescribe for DblModel

fn describe()

impl WasmDescribeVector for DblModel

fn describe_vector()

impl SupportsConstructor for DblModel

impl SupportsInstanceProperty for DblModel

impl SupportsStaticProperty for DblModel

Auto Trait Implementations§

impl Freeze for DblModel

impl RefUnwindSafe for DblModel

impl Send for DblModel

impl Sync for DblModel

impl Unpin for DblModel

impl UnwindSafe for DblModel

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

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 more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

impl<T> ReturnWasmAbi for T
where T: IntoWasmAbi,

type Abi = <T as IntoWasmAbi>::Abi

Same as IntoWasmAbi::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<T> Same for T

type Output = T

Should always be Self

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

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

Checks if self is actually part of its subset T (and can be converted to it).

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

The inclusion map: converts self to the equivalent element of its superset.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.