Enum CallEffectKind

#[repr(i64)]
pub enum CallEffectKind {
    ExprAnnotation = 0,
    Pure = 1,
    ReadState = 2,
    UpdateState = 3,
    SpecialCallArg = 4,
    EmbedInfo = 5,
    ControlJump = 6,
}

The runtime effect of an operator call (C++ CallEffectKind), the value of op_attr::CALL_EFFECT_KIND.

Variants

ExprAnnotation = 0

An annotation, such as likely, which can be translated to the identity.

Pure = 1

A pure function, which does not interact with any external state.

ReadState = 2

A function that may read from states, such as memory.

UpdateState = 3

A function that may read from and write to states, such as memory; also CallEffectKind::Opaque.

SpecialCallArg = 4

A special intrinsic that annotates call arguments, valid only as a direct argument to a call.

EmbedInfo = 5

Opaque information embedded in the expression, which cannot be generated as code.

ControlJump = 6

A function that changes the control flow.

Implementations

impl CallEffectKind

pub const Opaque: Self = Self::UpdateState

An opaque function, about which nothing can be assumed: C++ kOpaque, which is CallEffectKind::UpdateState.

Trait Implementations

impl Clone for CallEffectKind

fn clone(&self) -> CallEffectKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CallEffectKind

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

Formats the value using the given formatter.

impl From<CallEffectKind> for Any

fn from(kind: CallEffectKind) -> Self

Converts to this type from the input type.

impl Hash for CallEffectKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CallEffectKind

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for CallEffectKind

impl Eq for CallEffectKind

impl StructuralPartialEq for CallEffectKind