Enum i_slint_compiler::langtype::Type

pub enum Type {
    Invalid,
    Void,
    InferredProperty,
    InferredCallback,
    Callback {
        return_type: Option<Box<Type>>,
        args: Vec<Type>,
    },
    Function {
        return_type: Box<Type>,
        args: Vec<Type>,
    },
    Float32,
    Int32,
    String,
    Color,
    Duration,
    PhysicalLength,
    LogicalLength,
    Rem,
    Angle,
    Percent,
    Image,
    Bool,
    Model,
    PathData,
    Easing,
    Brush,
    Array(Box<Type>),
    Struct {
        fields: BTreeMap<String, Type>,
        name: Option<String>,
        node: Option<ObjectType>,
    },
    Enumeration(Rc<Enumeration>),
    UnitProduct(Vec<(Unit, i8)>),
    ElementReference,
    LayoutCache,
}

Variants

Invalid

Correspond to an uninitialized type, or an error

Void

The type of an expression that return nothing

InferredProperty

The type of a property two way binding whose type was not yet inferred

InferredCallback

The type of a callback alias whose type was not yet inferred

Callback

Fields

return_type: Option<Box<Type>>

args: Vec<Type>

Function

Fields

return_type: Box<Type>

args: Vec<Type>

Float32

Int32

String

Color

Duration

PhysicalLength

LogicalLength

Rem

Angle

Percent

Image

Bool

Model

PathData

Easing

Brush

Array(Box<Type>)

This is usually a model

Struct

Fields

fields: BTreeMap<String, Type>

name: Option<String>

When declared in .slint as struct Foo := { }, then the name is “Foo” When there is no node, but there is a name, then it is a builtin type

node: Option<ObjectType>

When declared in .slint, this is the node of the declaration.

Enumeration(Rc<Enumeration>)

UnitProduct(Vec<(Unit, i8)>)

A type made up of the product of several “unit” types. The first parameter is the unit, and the second parameter is the power. The vector should be sorted by 1) the power, 2) the unit.

ElementReference

LayoutCache

This is a SharedArray<f32>

Implementations

impl Type

pub fn is_property_type(&self) -> bool

valid type for properties

pub fn ok_for_public_api(&self) -> bool

pub fn as_enum(&self) -> &Rc<Enumeration>

Assume it is an enumeration, panic if it isn’t

pub fn can_convert(&self, other: &Self) -> bool

Return true if the type can be converted to the other type

pub fn default_unit(&self) -> Option<Unit>

If this is a number type which should be used with an unit, this returns the default unit otherwise, returns None

pub fn as_unit_product(&self) -> Option<Vec<(Unit, i8)>>

Return a unit product vector even for single scalar

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Default for Type

fn default() -> Type

Returns the “default value” for a type.

impl Display for Type

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

Formats the value using the given formatter.

impl From<Type> for PropertyDeclaration

fn from(ty: Type) -> Self

Converts to this type from the input type.

impl PartialEq<Type> for Type

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

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

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

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