Enum RequireFields 

pub enum RequireFields {
    All(bool),
    Named(Vec<String>),
}

require_fields of a [[contract]]: which fields of the contract type a module’s returned table has to carry.

require_fields = true                            # every declared field
require_fields = ["name", "monsters", "items"]   # these, so the type can grow

The list exists because every Teal record field is nilable and Teal has no ? for record fields, so a type cannot say which of its own fields are mandatory. Without it, adding a field to a contract type makes every module already written against it fail, and the only way out is to stop checking.

Variants

All(bool)

true: every field the type declares. false: no field check at all.

Named(Vec<String>)

Exactly these. A name the type does not declare is an error, not a no-op.

Implementations

impl RequireFields

pub fn is_on(&self) -> bool

Is any field required at all?

pub fn named(&self) -> Option<&[String]>

The names asked for, or None when the answer is “whatever the type declares”.

Trait Implementations

impl Clone for RequireFields

fn clone(&self) -> RequireFields

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RequireFields

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

Formats the value using the given formatter.

impl Default for RequireFields

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RequireFields

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RequireFields

impl PartialEq for RequireFields

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RequireFields