Struct LinearTypeSystem 

pub struct LinearTypeSystem {
    pub language: String,
    pub resource_tracking: bool,
    pub affine_types: bool,
}

Linear type systems (connection to programming).

Fields

language: String

resource_tracking: bool

affine_types: bool

Implementations

impl LinearTypeSystem

pub fn linear_haskell() -> Self

pub fn rust_ownership() -> Self

pub fn uniqueness_types(lang: &str) -> Self

pub fn prevents_use_after_free(&self) -> bool

Trait Implementations

impl Clone for LinearTypeSystem

fn clone(&self) -> LinearTypeSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearTypeSystem

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

Formats the value using the given formatter.