pub struct FfiFunctionInfo {
pub c_name: String,
pub seq_name: String,
pub effect: Effect,
pub args: Vec<FfiArg>,
pub return_spec: Option<FfiReturn>,
}Expand description
Information about an FFI function for code generation
Fields§
§c_name: StringC function name
seq_name: StringSeq word name
effect: EffectStack effect for type checking
args: Vec<FfiArg>Arguments
return_spec: Option<FfiReturn>Return specification
Trait Implementations§
Source§impl Clone for FfiFunctionInfo
impl Clone for FfiFunctionInfo
Source§fn clone(&self) -> FfiFunctionInfo
fn clone(&self) -> FfiFunctionInfo
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for FfiFunctionInfo
impl RefUnwindSafe for FfiFunctionInfo
impl Send for FfiFunctionInfo
impl Sync for FfiFunctionInfo
impl Unpin for FfiFunctionInfo
impl UnwindSafe for FfiFunctionInfo
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more