Struct TypeAndEffect 

pub struct TypeAndEffect {
    pub value_type: String,
    pub effect_annotation: String,
    pub purity: EffectPurity,
}

Fields

value_type: String

effect_annotation: String

purity: EffectPurity

Implementations

impl TypeAndEffect

pub fn pure_type(ty: &str) -> Self

pub fn effectful(ty: &str, effects: Vec<String>) -> Self

pub fn is_pure(&self) -> bool

pub fn type_and_effect_judgment(&self) -> String

Trait Implementations

impl Clone for TypeAndEffect

fn clone(&self) -> TypeAndEffect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAndEffect

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

Formats the value using the given formatter.