Module op 

The operation contract: keyed, shape-checked calls dispatched on objects.

The kernel defines the Op trait, operation specs and keys, and the resolve/invoke surface plus the well-known core operation keys; libraries implement the concrete operations.

Structs

OpSpec

The declared contract of an operation: its key, shapes, effects, and required capabilities.

ResolvedOp

An operation resolved against a target, ready to be invoked.

Enums

Step

The outcome of invoking an Op: a value, an event batch, or a suspension.

Traits

Op

A keyed, shape-checked operation dispatched on an object.

Functions

check_shape_if_available

Checks input against a shape reference, passing silently when the shape is Any or not registered.

core_any_ref

The shape reference that accepts any value (core:Any).

core_call_op_key

The well-known key for the core call operation (core:call@v1).

core_class_symbol_op_key

The well-known key for reading a class’s symbol.

core_dir_is_dir_op_key

The well-known key for testing whether a directory entry is a directory.

core_expr_snapshot_op_key

The well-known key for snapshotting an object as an Expr.

core_force_op_key

The well-known key for forcing a thunk.

core_list_items_op_key

The well-known key for reading a list’s items.

core_number_domain_symbol_op_key

The well-known key for reading a number’s domain symbol.

core_number_value_op_key

The well-known key for reading a number value.

core_object_encoding_op_key

The well-known key for reading an object’s encoding.

core_read_construct_op_key

The well-known key for read-time construction.

core_realize_start_op_key

The well-known key for starting a distributed eval realization.

core_seq_close_op_key

The well-known key for closing a sequence.

core_seq_next_op_key

The well-known key for advancing a sequence.

core_shape_check_term_op_key

The well-known key for checking a term against a shape.

core_shape_check_value_op_key

The well-known key for checking a value against a shape.

core_shape_describe_op_key

The well-known key for describing a shape.

core_table_entries_op_key

The well-known key for reading a table’s entries.

invoke_op

Resolves and runs an operation on target, enforcing its OpSpec.

resolve_op

Resolves an operation key against a target without invoking it.