Trait ffishim::types::Behavior

pub trait Behavior: Sync + Send {
    fn is(&self, sty: &Type) -> bool;
    fn fold(&self, sty: Type) -> Type;
    fn try_into(&self, sty: &Type, name: Expr) -> Expr;
    fn from(&self, sty: &Type, name: Expr) -> Expr;
    fn free(&self, sty: &Type, name: Expr) -> Option<Expr>;
}

The behavior of a Type as needed to generate the ffi shim.

Required methods

fn is(&self, sty: &Type) -> bool

Returns true if this behavior is fit to handle the given sty.

fn fold(&self, sty: Type) -> Type

Transforms the given Type into its shim equivalent. For example:

• String -> *mut libc::c_char
• u32 -> libc::c_uint
• ...

fn try_into(&self, sty: &Type, name: Expr) -> Expr

Returns an Expression that mutates the shim type into the original one.

fn from(&self, sty: &Type, name: Expr) -> Expr

Returns an Expression that mutates the original type into its shim equivalent.

fn free(&self, sty: &Type, name: Expr) -> Option<Expr>

Returns an Expression that frees an expression of the given type.

Loading content...

Implementors

impl Behavior for ffishim::types::Bool

fn is(&self, sty: &Type) -> bool

fn fold(&self, _sty: Type) -> Type

fn try_into(&self, _sty: &Type, expr: Expr) -> Expr

fn from(&self, _sty: &Type, expr: Expr) -> Expr

fn free(&self, _sty: &Type, _expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Char

fn is(&self, sty: &Type) -> bool

fn fold(&self, _sty: Type) -> Type

fn try_into(&self, _sty: &Type, expr: Expr) -> Expr

fn from(&self, _sty: &Type, expr: Expr) -> Expr

fn free(&self, _sty: &Type, _expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Duration

fn is(&self, sty: &Type) -> bool

fn fold(&self, _sty: Type) -> Type

fn try_into(&self, _sty: &Type, expr: Expr) -> Expr

fn from(&self, _sty: &Type, expr: Expr) -> Expr

fn free(&self, _sty: &Type, _expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Foreign

fn is(&self, _: &Type) -> bool

fn fold(&self, sty: Type) -> Type

fn try_into(&self, sty: &Type, expr: Expr) -> Expr

fn from(&self, _: &Type, expr: Expr) -> Expr

fn free(&self, _: &Type, expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Option

fn is(&self, sty: &Type) -> bool

fn fold(&self, sty: Type) -> Type

fn try_into(&self, sty: &Type, expr: Expr) -> Expr

fn from(&self, sty: &Type, expr: Expr) -> Expr

fn free(&self, sty: &Type, expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Reference

fn is(&self, sty: &Type) -> bool

fn fold(&self, sty: Type) -> Type

fn try_into(&self, sty: &Type, expr: Expr) -> Expr

fn from(&self, _sty: &Type, _expr: Expr) -> Expr

fn free(&self, _sty: &Type, _expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Result

fn is(&self, sty: &Type) -> bool

fn fold(&self, sty: Type) -> Type

fn try_into(&self, _: &Type, _: Expr) -> Expr

fn from(&self, sty: &Type, expr: Expr) -> Expr

fn free(&self, _: &Type, expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Scalars

fn is(&self, sty: &Type) -> bool

fn fold(&self, sty: Type) -> Type

fn try_into(&self, sty: &Type, expr: Expr) -> Expr

fn from(&self, _: &Type, expr: Expr) -> Expr

fn free(&self, _: &Type, _: Expr) -> Option<Expr>

impl Behavior for ffishim::types::String

fn is(&self, sty: &Type) -> bool

fn fold(&self, _: Type) -> Type

fn try_into(&self, _: &Type, expr: Expr) -> Expr

fn from(&self, _: &Type, expr: Expr) -> Expr

fn free(&self, _: &Type, expr: Expr) -> Option<Expr>

impl Behavior for ffishim::types::Vector

fn is(&self, sty: &Type) -> bool

fn fold(&self, sty: Type) -> Type

fn try_into(&self, sty: &Type, expr: Expr) -> Expr

fn from(&self, sty: &Type, expr: Expr) -> Expr

fn free(&self, sty: &Type, expr: Expr) -> Option<Expr>

Loading content...