Trait ocaml_interop::ToOCaml

pub unsafe trait ToOCaml<T> {
    fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, T>;

    fn to_boxroot(&self, cr: &mut OCamlRuntime) -> BoxRoot<T> { ... }
}

Implements conversion from Rust values into OCaml values.

Required methods

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, T>

Convert to OCaml value.

Provided methods

fn to_boxroot(&self, cr: &mut OCamlRuntime) -> BoxRoot<T>

Convert to OCaml value. Return an already rooted value as BoxRoot<T>.

Implementations on Foreign Types

impl ToOCaml<()> for ()

fn to_ocaml(&self, _cr: &mut OCamlRuntime) -> OCaml<'static, ()>

impl ToOCaml<isize> for i64

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlInt>

impl ToOCaml<isize> for i32

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlInt>

impl ToOCaml<OCamlInt32> for i32

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlInt32>

impl ToOCaml<OCamlInt64> for i64

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlInt64>

impl ToOCaml<OCamlFloat> for f64

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlFloat>

impl ToOCaml<bool> for bool

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, bool>

impl ToOCaml<String> for &str

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, String>

impl ToOCaml<OCamlBytes> for &str

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlBytes>

impl ToOCaml<OCamlBytes> for &[u8]

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlBytes>

impl ToOCaml<String> for &[u8]

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, String>

impl ToOCaml<String> for String

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, String>

impl ToOCaml<OCamlBytes> for String

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlBytes>

impl ToOCaml<String> for Vec<u8>

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, String>

impl ToOCaml<OCamlBytes> for Vec<u8>

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlBytes>

impl<A, OCamlA> ToOCaml<OCamlA> for Box<A> where
    A: ToOCaml<OCamlA>, 

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlA>

impl<A, OCamlA: 'static> ToOCaml<Option<OCamlA>> for Option<A> where
    A: ToOCaml<OCamlA>, 

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, Option<OCamlA>>

impl<A, OCamlA: 'static, Err, OCamlErr: 'static> ToOCaml<Result<OCamlA, OCamlErr>> for Result<A, Err> where
    A: ToOCaml<OCamlA>,
    Err: ToOCaml<OCamlErr>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, Result<OCamlA, OCamlErr>>

impl<A, OCamlA: 'static> ToOCaml<OCamlList<OCamlA>> for Vec<A> where
    A: ToOCaml<OCamlA>, 

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, OCamlList<OCamlA>>

impl<A, B, OCamlA: 'static, OCamlB: 'static> ToOCaml<(OCamlA, OCamlB)> for (A, B) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>, 

fn to_ocaml<'a>(&self, cr: &'a mut OCamlRuntime) -> OCaml<'a, (OCamlA, OCamlB)>

impl<A, B, C, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC)> for (A, B, C) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC)>

impl<A, B, C, D, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD)> for (A, B, C, D) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD)>

impl<A, B, C, D, E, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static, OCamlE: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD, OCamlE)> for (A, B, C, D, E) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>,
    E: ToOCaml<OCamlE>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD, OCamlE)>

impl<A, B, C, D, E, F, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static, OCamlE: 'static, OCamlF: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF)> for (A, B, C, D, E, F) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>,
    E: ToOCaml<OCamlE>,
    F: ToOCaml<OCamlF>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF)>

impl<A, B, C, D, E, F, G, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static, OCamlE: 'static, OCamlF: 'static, OCamlG: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG)> for (A, B, C, D, E, F, G) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>,
    E: ToOCaml<OCamlE>,
    F: ToOCaml<OCamlF>,
    G: ToOCaml<OCamlG>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG)>

impl<A, B, C, D, E, F, G, H, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static, OCamlE: 'static, OCamlF: 'static, OCamlG: 'static, OCamlH: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG, OCamlH)> for (A, B, C, D, E, F, G, H) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>,
    E: ToOCaml<OCamlE>,
    F: ToOCaml<OCamlF>,
    G: ToOCaml<OCamlG>,
    H: ToOCaml<OCamlH>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG, OCamlH)>

impl<A, B, C, D, E, F, G, H, I, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static, OCamlE: 'static, OCamlF: 'static, OCamlG: 'static, OCamlH: 'static, OCamlI: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG, OCamlH, OCamlI)> for (A, B, C, D, E, F, G, H, I) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>,
    E: ToOCaml<OCamlE>,
    F: ToOCaml<OCamlF>,
    G: ToOCaml<OCamlG>,
    H: ToOCaml<OCamlH>,
    I: ToOCaml<OCamlI>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG, OCamlH, OCamlI)>

impl<A, B, C, D, E, F, G, H, I, J, OCamlA: 'static, OCamlB: 'static, OCamlC: 'static, OCamlD: 'static, OCamlE: 'static, OCamlF: 'static, OCamlG: 'static, OCamlH: 'static, OCamlI: 'static, OCamlJ: 'static> ToOCaml<(OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG, OCamlH, OCamlI, OCamlJ)> for (A, B, C, D, E, F, G, H, I, J) where
    A: ToOCaml<OCamlA>,
    B: ToOCaml<OCamlB>,
    C: ToOCaml<OCamlC>,
    D: ToOCaml<OCamlD>,
    E: ToOCaml<OCamlE>,
    F: ToOCaml<OCamlF>,
    G: ToOCaml<OCamlG>,
    H: ToOCaml<OCamlH>,
    I: ToOCaml<OCamlI>,
    J: ToOCaml<OCamlJ>, 

fn to_ocaml<'a>(
    &self,
    cr: &'a mut OCamlRuntime
) -> OCaml<'a, (OCamlA, OCamlB, OCamlC, OCamlD, OCamlE, OCamlF, OCamlG, OCamlH, OCamlI, OCamlJ)>

Implementors

impl<'root, T> ToOCaml<T> for OCamlRef<'root, T>

impl<T> ToOCaml<T> for BoxRoot<T>