Struct LinearType 

pub struct LinearType {
    pub base_type: String,
    pub kind: LinearKind,
    pub name: Option<String>,
    pub description: Option<String>,
    pub tags: Vec<String>,
}

A linear type with usage constraints.

Fields

base_type: String

Base type name

kind: LinearKind

Linearity kind

name: Option<String>

Optional type name

description: Option<String>

Description

tags: Vec<String>

Resource tags (for grouping related resources)

Implementations

impl LinearType

pub fn new(base_type: impl Into<String>) -> Self

Create a new linear type with default unrestricted kind.

pub fn linear(base_type: impl Into<String>) -> Self

Create a linear type that must be used exactly once.

pub fn affine(base_type: impl Into<String>) -> Self

Create an affine type that can be used at most once.

pub fn relevant(base_type: impl Into<String>) -> Self

Create a relevant type that must be used at least once.

pub fn with_kind(self, kind: LinearKind) -> Self

Set the linearity kind.

pub fn with_name(self, name: impl Into<String>) -> Self

Set the type name.

pub fn with_description(self, description: impl Into<String>) -> Self

Set the description.

pub fn with_tag(self, tag: impl Into<String>) -> Self

Add a resource tag.

pub fn type_name(&self) -> &str

Get the effective type name.

pub fn allows_copy(&self) -> bool

Check if this type allows copying.

pub fn allows_drop(&self) -> bool

Check if this type allows dropping.

Trait Implementations

impl Clone for LinearType

fn clone(&self) -> LinearType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearType

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

Formats the value using the given formatter.