Struct BrowseSignature 

pub struct BrowseSignature { /* private fields */ }

A callable decorated with argument and result Shapes used only by browsers.

Construction fails closed when callable is not callable or either metadata value does not expose the Shape protocol. Invocation never reads the metadata and therefore cannot check, coerce, rank, or select calls.

Implementations

impl BrowseSignature

pub fn new( callable: Value, args: Option<ShapeRef>, result: Option<ShapeRef>, ) -> Result<Self>

Validate and build a browse-only signature around callable.

Trait Implementations

impl Callable for BrowseSignature

fn call(&self, cx: &mut Cx, args: Args) -> Result<Value>

Invoke the callable with already-evaluated, checked Args.

fn browse_args_shape(&self, _cx: &mut Cx) -> Result<Option<ShapeRef>>

Optional shape describing the accepted argument list, for browsing.

fn browse_result_shape(&self, _cx: &mut Cx) -> Result<Option<ShapeRef>>

Optional shape describing the call result, for browsing.

fn call_exprs(&self, cx: &mut Cx, args: RawArgs) -> Result<Value>

Invoke the callable on raw, unevaluated argument expressions.

impl Clone for BrowseSignature

fn clone(&self) -> BrowseSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Object for BrowseSignature

fn header(&self) -> &ObjectHeader

Identity and trust header for the object; defaults to the shared anonymous header.

fn op(&self, key: &OpKey) -> Option<&dyn Op>

Resolve the operation registered under key, if any.

fn claims( &self, cx: &mut Cx, pattern: &ClaimPattern, sink: &mut dyn ClaimSink, ) -> Result<()>

Emit the object’s claims matching pattern into sink.

fn snapshot(&self, cx: &mut Cx) -> Result<Option<Datum>>

Optional content-addressable snapshot of the object’s state.

fn display(&self, cx: &mut Cx) -> Result<String>

Render the object as a human-readable display string.

fn as_any(&self) -> &dyn Any

Expose the object for Rust downcasting.

impl ObjectCompat for BrowseSignature

fn class(&self, cx: &mut Cx) -> Result<ClassRef>

Class object this value belongs to; defaults to nil.

fn as_callable(&self) -> Option<&dyn Callable>

Callable view, if the object can be invoked.

fn as_expr(&self, cx: &mut Cx) -> Result<Expr>

Expression form of the object; defaults to an opaque extension node.

fn truth(&self, cx: &mut Cx) -> Result<bool>

Truthiness of the object; defaults to true.

fn as_table(&self, cx: &mut Cx) -> Result<Value>

Project the object into a table value; the default exposes its display.

fn as_class(&self) -> Option<&dyn Class>

Class view, if the object is a class.

fn as_shape(&self) -> Option<&dyn Shape>

Shape view, if the object is a shape.

fn as_object_encoder(&self) -> Option<&dyn ObjectEncode>

Object-encoder view, if the object encodes other objects.

fn as_read_constructor(&self) -> Option<&dyn ReadConstructor>

Read-constructor view, if the object decodes data forms.

fn as_number_domain(&self) -> Option<&(dyn NumberDomain + 'static)>

Number-domain view, if the object is a number domain.

fn as_number_value(&self) -> Option<&dyn NumberValue>

Number-value view, if the object is a domain number.

fn as_eval_fabric(&self) -> Option<&dyn EvalFabric>

Eval-fabric view, if the object is a distributed eval surface.

fn as_stream(&self) -> Option<&dyn Stream>

Stream view, if the object is a stream.

fn as_sequence(&self) -> Option<&dyn Sequence>

Sequence view, if the object is a sequence.

fn as_thunk(&self) -> Option<&dyn Thunk>

Thunk view, if the object is a deferred computation.

fn as_list(&self) -> Option<&(dyn ListValue + 'static)>

List view, if the object is a list value.

fn as_table_impl(&self) -> Option<&(dyn Table + 'static)>

Table-implementation view, if the object is a table.

fn as_dir(&self) -> Option<&(dyn Dir + 'static)>

Directory view, if the object is a directory.

fn publish_shape_satisfaction_claims( &self, _cx: &mut Cx, _shape: &Ref, ) -> Result<bool, Error>

Publish claims asserting that the object satisfies shape; returns whether any were published.