Enum Pred 

pub enum Pred {
    Always,
    IsTrue(String),
    IsSet(String),
    Eq(String, Value),
    Captured(Vec<String>),
    CalledOk(String),
    Done(String),
    All(Vec<Pred>),
    Any(Vec<Pred>),
    Not(Box<Pred>),
}

A serializable predicate atom — the closed set of guard primitives.

Variants

Always

Always true.

IsTrue(String)

State key holds boolean true.

IsSet(String)

State key is present.

Eq(String, Value)

State key equals the given JSON value.

Captured(Vec<String>)

All of the given state keys are present (e.g. extracted slots).

CalledOk(String)

The named tool has completed successfully at least once.

Done(String)

The named step is done.

All(Vec<Pred>)

Conjunction.

Any(Vec<Pred>)

Disjunction.

Not(Box<Pred>)

Negation.

Trait Implementations

impl Clone for Pred

fn clone(&self) -> Pred

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pred

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Pred

fn deserialize<__D>( __deserializer: __D, ) -> Result<Pred, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for Pred

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl PartialEq for Pred

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Pred