pub struct SignatureInfo {
pub name: String,
pub type_params: Vec<String>,
pub params: Vec<Param>,
pub produces: Produces,
pub requires: Vec<Effect>,
pub on_failure: Vec<String>,
pub rendered: String,
}Expand description
A function’s full signature, for query_type: what an agent needs to
call it correctly (and a human-reviewable rendered form). The
structural answer to “what does fold/render_html expect?”.
Fields§
§name: String§type_params: Vec<String>§params: Vec<Param>§produces: Produces§requires: Vec<Effect>§on_failure: Vec<String>§rendered: StringThe Section 5 projection of the whole function (review surface).
Trait Implementations§
Source§impl Clone for SignatureInfo
impl Clone for SignatureInfo
Source§fn clone(&self) -> SignatureInfo
fn clone(&self) -> SignatureInfo
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for SignatureInfo
impl Debug for SignatureInfo
Auto Trait Implementations§
impl Freeze for SignatureInfo
impl RefUnwindSafe for SignatureInfo
impl Send for SignatureInfo
impl Sync for SignatureInfo
impl Unpin for SignatureInfo
impl UnsafeUnpin for SignatureInfo
impl UnwindSafe for SignatureInfo
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more