pub struct SingleTuple(/* private fields */);

Trait Implementations§

source§

impl<'from_value_lifetime> FromValue<'from_value_lifetime> for SingleTuple

source§

fn from_value(value: Value) -> Self

Convert from OCaml value
source§

impl IntoValue for SingleTuple

source§

fn into_value(self, gc: &Runtime) -> Value

Convert to OCaml value
source§

impl OCamlBinding for SingleTuple

source§

fn ocaml_binding( env: &mut Env, rename: Option<&'static str>, new_type: bool ) -> String

will generate the OCaml bindings for a type (called root type). It takes the current environment Env, as well as an optional name (if you wish to rename the type in OCaml).
source§

impl OCamlDesc for SingleTuple

source§

fn ocaml_desc(env: &Env, generics: &[&str]) -> String

describes the type in OCaml, given the current environment Env and the list of generic type parameters of the root type (the type that makes use of this type)
source§

fn unique_id() -> u128

Returns a unique ID for the type. This ID will not change if concrete type parameters are used.

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

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

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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.
source§

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

Performs the conversion.