Crate sim_lib_intent 

Intent value model, gesture algebra, and codec:intent (WEBUI_4).

An Intent is a user (or agent) gesture expressed as a SIM value and decoded into a checked operation. An Intent says what the operator wants, in terms an editor can validate against a Shape before it ever touches runtime state. Intents round-trip through codec:intent and carry an origin.operator (human or agent) plus a logical tick for audit.

This crate provides:

• the Intent kinds and their required fields (open metadata);
• a model of origin, builders, accessors, fail-closed validation, and target resolution against a caller-supplied predicate;
• the gesture algebra folding raw browser gestures into one Intent;
• the codec codec:intent plus Intent kind shapes.

Re-exports

pub use codec::IntentCodec;

pub use codec::IntentCodecLib;

pub use codec::intent_codec_symbol;

pub use gesture::GestureRecognizer;

pub use gesture::Hit;

pub use gesture::HitRole;

pub use gesture::PointerEvent;

pub use gesture::PointerPhase;

pub use gesture::RawGesture;

pub use gesture::intent_from_gesture;

pub use kinds::INTENT_KINDS;

pub use kinds::INTENT_NAMESPACE;

pub use kinds::intent_kind;

pub use kinds::is_known_kind;

pub use kinds::required_fields;

pub use model::IntentError;

pub use model::Operator;

pub use model::Origin;

pub use model::field;

pub use model::intent;

pub use model::intent_kind_of;

pub use model::origin;

pub use model::referenced_targets;

pub use model::resolve_targets;

pub use model::validate_intent;

pub use shapes::IntentKindShape;

pub use shapes::IntentShape;

pub use shapes::intent_shape_specs;

pub use shapes::intent_shape_symbol;

Modules

codec

codec:intent: the domain codec for Intent values.

gesture

The gesture algebra: composing raw browser gestures into one Intent value.

kinds

Intent kinds and their required fields.

model

Intent value model: origin, builders, accessors, and fail-closed validation.

shapes

Shapes for Intent kinds.

Structs

IntentDescriptor

A validated Intent wrapped as a runtime Citizen object.

Functions

intent_descriptor_class_symbol

Returns the class symbol for the Intent descriptor Citizen.