Enum Predicate 

pub enum Predicate {
    EventMatch {
        scope: ScopeFilter,
        level: Option<LevelFilter>,
        target: Option<StringFilter>,
        fields: Vec<FieldFilter>,
        rate: Option<RatePredicate>,
    },
    ScryerHealth {
        signal: HealthSignal,
    },
    Compound {
        op: CompoundOp,
        children: Vec<Predicate>,
    },
}

Structured filter over scryer events.

The rule engine compiles a Predicate into a scryer subscription filter (R093-F1+F2 query surface). Predicates push down to where events are produced; expensive field-level filtering runs after the cheaper level/target indexes are consulted.

Variants

EventMatch

Match against structured event fields.

Fields

scope: ScopeFilter

Which scope kinds and identities to watch.

level: Option<LevelFilter>

Minimum log level. None matches any level.

target: Option<StringFilter>

Filter on the event target field. None matches any target.

fields: Vec<FieldFilter>

Zero or more field-level filters, all of which must match (AND).

rate: Option<RatePredicate>

Rate gate: only fire once at least min_count matches accumulate in window_ms. None fires on every individual match.

ScryerHealth

Predicate over a scryer substrate health signal rather than an application event stream. Opens a parallel subscription on scryer’s own health emissions.

Fields

signal: HealthSignal

Compound

Boolean combination of child predicates.

Fields

op: CompoundOp

children: Vec<Predicate>

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Predicate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Predicate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Predicate

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Predicate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Predicate

impl TS for Predicate

const DOCS: Option<&'static str>

JSDoc comment to describe this type in TypeScript - when TS is derived, docs are automatically read from your doc comments or #[doc = ".."] attributes

type WithoutGenerics = Predicate

If this type does not have generic parameters, then WithoutGenerics should just be Self. If the type does have generic parameters, then all generic parameters must be replaced with a dummy type, e.g ts_rs::Dummy or (). The only requirement for these dummy types is that EXPORT_TO must be None.

fn ident() -> String

Identifier of this type, excluding generic parameters.

fn name() -> String

Name of this type in TypeScript, including generic parameters

fn decl_concrete() -> String

Declaration of this type using the supplied generic arguments. The resulting TypeScript definition will not be generic. For that, see TS::decl(). If this type is not generic, then this function is equivalent to TS::decl().

fn decl() -> String

Declaration of this type, e.g. type User = { user_id: number, ... }. This function will panic if the type has no declaration.

fn inline() -> String

Formats this types definition in TypeScript, e.g { user_id: number }. This function will panic if the type cannot be inlined.

fn inline_flattened() -> String

Flatten a type declaration.
This function will panic if the type cannot be flattened.

fn visit_generics(v: &mut impl TypeVisitor)

where Self: 'static,

Iterates over all type parameters of this type.

fn output_path() -> Option<&'static Path>

Returns the output path to where T should be exported.
The returned path does not include the base directory from TS_RS_EXPORT_DIR.

fn visit_dependencies(v: &mut impl TypeVisitor)

where Self: 'static,

Iterates over all dependency of this type.

fn dependencies() -> Vec<Dependency>

where Self: 'static,

Resolves all dependencies of this type recursively.

fn export() -> Result<(), ExportError>

where Self: 'static,

Manually export this type to the filesystem. To export this type together with all of its dependencies, use TS::export_all.

fn export_all() -> Result<(), ExportError>

where Self: 'static,

Manually export this type to the filesystem, together with all of its dependencies.
To export only this type, without its dependencies, use TS::export.

fn export_all_to(out_dir: impl AsRef<Path>) -> Result<(), ExportError>

where Self: 'static,

Manually export this type into the given directory, together with all of its dependencies.
To export only this type, without its dependencies, use TS::export.

fn export_to_string() -> Result<String, ExportError>

where Self: 'static,

Manually generate bindings for this type, returning a String.
This function does not format the output, even if the format feature is enabled.

fn default_output_path() -> Option<PathBuf>

Returns the output path to where T should be exported.