Enum Effect 

pub enum Effect {
    IO,
    State,
    NonDet,
    Exception,
    Diverge,
    Alloc,
    Network,
    FileSystem,
    Log,
    Time,
    GPU,
    Concurrent,
    Env,
    System,
}

A computational effect that can be tracked.

Variants

IO

Input/output operations

State

State mutation

NonDet

Non-determinism (random number generation, etc.)

Exception

Exceptions/errors

Diverge

Divergence (non-termination)

Alloc

Memory allocation

Network

Network communication

FileSystem

File system access

Log

Logging/tracing

Time

Time-dependent operations

GPU

GPU operations

Concurrent

Concurrency/parallelism

Env

Environment variable access

System

System calls

Implementations

impl Effect

pub fn name(&self) -> &'static str

Get the effect name.

pub fn description(&self) -> &'static str

Get a description of the effect.

pub fn implies(&self, other: &Effect) -> bool

Check if this effect implies another.

For example, FileSystem implies IO.

Trait Implementations

impl Clone for Effect

fn clone(&self) -> Effect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Effect

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

Formats the value using the given formatter.

impl Display for Effect

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

Formats the value using the given formatter.

impl Hash for Effect

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 Effect

fn eq(&self, other: &Effect) -> 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 Effect

impl Eq for Effect

impl StructuralPartialEq for Effect