Struct BootstrapArguments 

pub struct BootstrapArguments {
    pub name: Option<String>,
    pub proof_path: Option<String>,
    pub rust_path: Option<String>,
    pub has_ffi: Option<bool>,
    pub unproven: bool,
    pub features: Features,
    pub generics: BootTypeHashMap,
    pub arguments: BootTypeHashMap,
    pub derived_types: Option<DerivedTypes>,
    pub returns: Option<BootType>,
}

Fields

name: Option<String>

proof_path: Option<String>

rust_path: Option<String>

has_ffi: Option<bool>

unproven: bool

features: Features

generics: BootTypeHashMap

arguments: BootTypeHashMap

derived_types: Option<DerivedTypes>

returns: Option<BootType>

Implementations

impl BootstrapArguments

pub fn from_attribute_args(items: &[NestedMeta]) -> Result<Self>

Trait Implementations

impl Clone for BootstrapArguments

fn clone(&self) -> BootstrapArguments

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BootstrapArguments

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

Formats the value using the given formatter.

impl FromMeta for BootstrapArguments

fn from_list(__items: &[NestedMeta]) -> Result<Self>

Create an instance from a list of nested meta items.

fn from_nested_meta(item: &NestedMeta) -> Result<Self, Error>

fn from_meta(item: &Meta) -> Result<Self, Error>

Create an instance from a syn::Meta by dispatching to the format-appropriate trait function. This generally should not be overridden by implementers.

fn from_none() -> Option<Self>

When a field is omitted from a parent meta-item, from_none is used to attempt recovery before a missing field error is generated.

fn from_word() -> Result<Self, Error>

Create an instance from the presence of the word in the attribute with no additional options specified.

fn from_value(value: &Lit) -> Result<Self, Error>

Create an instance from a literal value of either foo = "bar" or foo("bar"). This dispatches to the appropriate method based on the type of literal encountered, and generally should not be overridden by implementers.

fn from_expr(expr: &Expr) -> Result<Self, Error>

fn from_char(value: char) -> Result<Self, Error>

Create an instance from a char literal in a value position.

fn from_string(value: &str) -> Result<Self, Error>

Create an instance from a string literal in a value position.

fn from_bool(value: bool) -> Result<Self, Error>

Create an instance from a bool literal in a value position.