Skip to main content

SearchTool

Struct SearchTool 

Source
pub struct SearchTool { /* private fields */ }
Expand description

What a search answers with, and what it refuses.

Implementations§

Source§

impl SearchTool

Source

pub const NAME: &'static str = "search"

The name this tool answers to, read by its registration and by mode::core_tools.

Source

pub fn new(city_root: &Path, bound: ReadBound) -> Result<SearchTool, AxError>

§Errors

Propagates a malformed parameter schema, which is a build-time defect rather than a runtime one.

Trait Implementations§

Source§

impl Tool for SearchTool

Source§

fn meta(&self) -> &ToolMeta

Source§

fn invoke(&self, call: &ToolCall) -> Result<ToolOutcome, AxError>

Fail-closed identity: a call whose name differs from meta().name must return E_INVALID_ARGS, never route silently.
Source§

fn subject(&self, _call: &ToolCall) -> Result<GateSubject, AxError>

What this call is about, read by the grammar this tool already parses its arguments with. Read more
Source§

fn effect_of(&self, _call: &ToolCall) -> Result<Effect, AxError>

The effect this one call has, which picks the door it meets. Read more
Source§

fn writes(&self, _call: &ToolCall) -> Writes

What this call may have written to the city’s tree once it ran; the default reads the declared effect and nothing more.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.