Enum InferredType 

pub enum InferredType {
    Int,
    Float,
    Bool,
    String,
    Divert,
    List(String),
}

The type of a VAR/CONST initializer literal. Deliberately separate from the host-manifest BaseType vocabulary — Divert/List are ink runtime concepts that must not leak into the manifest serialization schema.

List carries the declaring LIST’s name (issue #628): a list-literal initializer’s type is nominal (List<L>), same as every other list type in the Ty universe (Ty::List, TM-2’s List<L> annotation) — the scalar/divert variants have no such nominal identity, so they stay bare. Not Copy any more (the String payload), unlike before.

Variants

Int

Float

Bool

String

Divert

List(String)

Implementations

impl InferredType

pub fn name(&self) -> String

Display name, as shown in hover (e.g. health: int, weather: List<Weathers>).

Trait Implementations

impl Clone for InferredType

fn clone(&self) -> InferredType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferredType

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

Formats the value using the given formatter.

impl Eq for InferredType

impl From<InferredType> for Ty

fn from(t: InferredType) -> Self

Converts to this type from the input type.

impl PartialEq for InferredType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InferredType