Struct EffectFacts 

pub struct EffectFacts {
    pub tagged_errors: Vec<EffectTaggedError>,
    pub caught_tags: Vec<EffectCaughtTag>,
    pub literal_tags: Vec<String>,
    pub layers: Vec<EffectLayer>,
    pub layer_root_keys: Vec<String>,
}

Persisted syntactic Effect evidence for one module.

The layer keys, their dependencies and layer_root_keys use one format: a plain binding name (FooLive) or a class static member (FooService.layer). Import aliases resolve to the imported name, and a namespace member (Ns.FooLive) resolves to the member name.

Fields

tagged_errors: Vec<EffectTaggedError>

Module-scope classes that extend a tagged error constructor.

caught_tags: Vec<EffectCaughtTag>

catchTag("X") arguments and catchTags({ X }) keys.

literal_tags: Vec<String>

Tags written as an object literal _tag: "X" property.

layers: Vec<EffectLayer>

Layer definitions: module-scope consts and class static properties.

layer_root_keys: Vec<String>

Keys that a value reference outside every layer definition reads.

Trait Implementations

impl Clone for EffectFacts

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectFacts

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

Formats the value using the given formatter.

impl<'__de> Decode<'__de> for EffectFacts

where '__de:,

impl Default for EffectFacts

fn default() -> Self

Returns the “default value” for a type.

impl Encode for EffectFacts

impl Eq for EffectFacts

impl PartialEq for EffectFacts

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EffectFacts