Trait OCamlDesc

pub trait OCamlDesc {
    // Required methods
    fn ocaml_desc(env: &Env, generics: &[&str]) -> String;
    fn unique_id() -> u128;
}

OCamlDesc is the trait implemented by types to facilitate generation of their OCaml bindings. It is usually derived automatically via the Struct macro, or the CustomType macro for custom types.

Required Methods

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)

fn unique_id() -> u128

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl OCamlDesc for &[u8]

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for bool

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for i32

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for u8

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for ()

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for usize

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for String

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for Int

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl OCamlDesc for [u8; 32]

fn ocaml_desc(_env: &Env, _generics: &[&str]) -> String

fn unique_id() -> u128

impl<T1, T2> OCamlDesc for (T1, T2)

where T1: OCamlDesc, T2: OCamlDesc,

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

fn unique_id() -> u128

impl<T1, T2, T3> OCamlDesc for (T1, T2, T3)

where T1: OCamlDesc, T2: OCamlDesc, T3: OCamlDesc,

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

fn unique_id() -> u128

impl<T1, T2, T3, T4, T5, T6> OCamlDesc for (T1, T2, T3, T4, T5, T6)

where T1: OCamlDesc, T2: OCamlDesc, T3: OCamlDesc, T4: OCamlDesc, T5: OCamlDesc, T6: OCamlDesc,

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

fn unique_id() -> u128

impl<T1, T2, T3, T4, T5, T6, T7> OCamlDesc for (T1, T2, T3, T4, T5, T6, T7)

where T1: OCamlDesc, T2: OCamlDesc, T3: OCamlDesc, T4: OCamlDesc, T5: OCamlDesc, T6: OCamlDesc, T7: OCamlDesc,

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

fn unique_id() -> u128

impl<T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> OCamlDesc for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)

where T1: OCamlDesc, T2: OCamlDesc, T3: OCamlDesc, T4: OCamlDesc, T5: OCamlDesc, T6: OCamlDesc, T7: OCamlDesc, T8: OCamlDesc, T9: OCamlDesc, T10: OCamlDesc, T11: OCamlDesc, T12: OCamlDesc, T13: OCamlDesc, T14: OCamlDesc, T15: OCamlDesc,

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

fn unique_id() -> u128

impl<T> OCamlDesc for Option<T>

where T: OCamlDesc,

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

fn unique_id() -> u128

impl<T> OCamlDesc for &T

where T: OCamlDesc,

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

fn unique_id() -> u128

impl<T> OCamlDesc for Vec<T>

where T: OCamlDesc,

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

fn unique_id() -> u128

impl<T> OCamlDesc for Pointer<'_, T>

where T: OCamlDesc,

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

fn unique_id() -> u128

impl<T, E> OCamlDesc for Result<T, E>

where T: OCamlDesc,

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

fn unique_id() -> u128

Implementors