Struct clarity_repl::clarity::types::signatures::TupleTypeSignature

pub struct TupleTypeSignature { /* fields omitted */ }

Implementations

impl TupleTypeSignature

pub fn len(&self) -> u64

pub fn field_type(&self, field: &str) -> Option<&TypeSignature>

pub fn get_type_map(&self) -> &BTreeMap<ClarityName, TypeSignature>

pub fn admits(&self, other: &TupleTypeSignature) -> bool

pub fn parse_name_type_pair_list<A: CostTracker>(
    type_def: &SymbolicExpression,
    accounting: &mut A
) -> Result<TupleTypeSignature, CheckErrors>

pub fn shallow_merge(&mut self, update: &mut TupleTypeSignature)

impl TupleTypeSignature

pub fn type_size(&self) -> Option<u32>

Tuple Size: size( btreemap<name, type> ) = 2*map.len() + sum(names) + sum(values)

pub fn size(&self) -> u32

Trait Implementations

impl Clone for TupleTypeSignature

fn clone(&self) -> TupleTypeSignature

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TupleTypeSignature

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TupleTypeSignature

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Display for TupleTypeSignature

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

Formats the value using the given formatter.

impl Eq for TupleTypeSignature

impl From<TupleTypeSignature> for TypeSignature

fn from(data: TupleTypeSignature) -> Self

Performs the conversion.

impl PartialEq<TupleTypeSignature> for TupleTypeSignature

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Serialize for TupleTypeSignature

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl StructuralEq for TupleTypeSignature

impl StructuralPartialEq for TupleTypeSignature

impl TryFrom<BTreeMap<ClarityName, TypeSignature>> for TupleTypeSignature

type Error = CheckErrors

The type returned in the event of a conversion error.

fn try_from(
    type_map: BTreeMap<ClarityName, TypeSignature>
) -> Result<TupleTypeSignature, CheckErrors>

Performs the conversion.

impl TryFrom<Vec<(ClarityName, TypeSignature), Global>> for TupleTypeSignature

type Error = CheckErrors

The type returned in the event of a conversion error.

fn try_from(
    type_data: Vec<(ClarityName, TypeSignature)>
) -> Result<TupleTypeSignature, CheckErrors>

Performs the conversion.