Struct LeanExportReturnAbi 

pub struct LeanExportReturnAbi { /* private fields */ }

ABI shape of an exported result.

Implementations

impl LeanExportReturnAbi

pub const fn new( repr: LeanExportAbiRepr, ownership: LeanExportOwnership, convention: LeanExportResultConvention, ) -> Self

Construct the ABI shape for an exported result slot.

pub const fn repr(self) -> LeanExportAbiRepr

C representation for this result.

pub const fn ownership(self) -> LeanExportOwnership

Ownership convention for this result.

pub const fn convention(self) -> LeanExportResultConvention

IO/result convention for this result.

pub fn to_json(self) -> Value

Encode as a manifest JSON object.

Trait Implementations

impl Clone for LeanExportReturnAbi

fn clone(&self) -> LeanExportReturnAbi

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LeanExportReturnAbi

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for LeanExportReturnAbi

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LeanExportReturnAbi

fn eq(&self, other: &LeanExportReturnAbi) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for LeanExportReturnAbi

impl Eq for LeanExportReturnAbi

impl StructuralPartialEq for LeanExportReturnAbi