pub struct Package<T> { /* private fields */ }

Trait Implementations§

source§

impl<'from_value_lifetime, T> FromValue<'from_value_lifetime> for Package<T>
where T: FromValue<'from_value_lifetime>,

source§

fn from_value(value: Value) -> Self

Convert from OCaml value
source§

impl<T> IntoValue for Package<T>
where T: IntoValue,

source§

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

Convert to OCaml value
source§

impl<T> OCamlBinding for Package<T>
where T: OCamlDesc,

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<T> OCamlDesc for Package<T>
where T: OCamlDesc,

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§

§

impl<T> RefUnwindSafe for Package<T>
where T: RefUnwindSafe,

§

impl<T> Send for Package<T>
where T: Send,

§

impl<T> Sync for Package<T>
where T: Sync,

§

impl<T> Unpin for Package<T>
where T: Unpin,

§

impl<T> UnwindSafe for Package<T>
where T: UnwindSafe,

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.