Struct Circle 

pub struct Circle(pub Arc<Circle>);

Elicitation-enabled wrapper around bevy::math::primitives::Circle.

This newtype uses Arc internally to ensure Clone is always available, providing transparent access via Deref and DerefMut.

Tuple Fields

0: Arc<Circle>

Implementations

impl Circle

pub fn circle_radius(&self) -> f32

Radius.

pub fn diameter(&self) -> f32

Diameter.

pub fn circle_new(&self, radius: f32) -> Circle

Constructs with the given radius (ignores self).

impl Circle

pub fn circle_radius_tool_tool_attr() -> Tool

Generated tool metadata function for circle_radius_tool

pub fn circle_radius_tool(&self) -> Result<Json<f32>, ErrorData>

circle_radius MCP tool wrapper method.

pub fn diameter_tool_tool_attr() -> Tool

Generated tool metadata function for diameter_tool

pub fn diameter_tool(&self) -> Result<Json<f32>, ErrorData>

diameter MCP tool wrapper method.

pub fn circle_new_tool_tool_attr() -> Tool

Generated tool metadata function for circle_new_tool

pub fn circle_new_tool( &self, params: Parameters<CircleNewParams>, ) -> Result<Json<Circle>, ErrorData>

circle_new MCP tool wrapper method.

Methods from Deref<Target = Circle>

pub fn diameter(&self) -> f32

Get the diameter of the circle

pub fn closest_point(&self, point: Vec2) -> Vec2

Finds the point on the circle that is closest to the given point.

If the point is outside the circle, the returned point will be on the perimeter of the circle. Otherwise, it will be inside the circle and returned as is.

Trait Implementations

impl AsRef<Circle> for Circle

fn as_ref(&self) -> &Circle

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Circle

fn clone(&self) -> Circle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Circle

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deref for Circle

type Target = Circle

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for Circle

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'de> Deserialize<'de> for Circle

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl ElicitComplete for Circle

fn validate_proofs_non_empty() -> bool

Runtime check: all three proof methods return non-empty TokenStreams.

fn kani_proof_contains<Inner>() -> bool

where Inner: Elicitation,

Runtime check: does this type’s Kani proof contain Inner’s Kani proof?

fn verus_proof_contains<Inner>() -> bool

where Inner: Elicitation,

Runtime check: does this type’s Verus proof contain Inner’s Verus proof?

fn creusot_proof_contains<Inner>() -> bool

where Inner: Elicitation,

Runtime check: does this type’s Creusot proof contain Inner’s Creusot proof?

impl ElicitIntrospect for Circle

fn pattern() -> ElicitationPattern

What elicitation pattern does this type use?

fn metadata() -> TypeMetadata

Get the complete structural metadata for this type.

impl ElicitPromptTree for Circle

fn prompt_tree() -> PromptTree

Return the static prompt tree for this type.

fn assembled_prompts() -> Vec<AssembledPrompt>

Return the complete assembled prompts in elicitation order.

impl ElicitSpec for Circle

fn type_spec() -> TypeSpec

Returns the complete spec for this type.

impl Elicitation for Circle

type Style = ()

The style enum for this type.

async fn elicit<C: ElicitCommunicator>(_communicator: &C) -> ElicitResult<Self>

Elicit a value of this type from the user via style-aware client.

fn kani_proof() -> TokenStream

Generate a Kani symbolic execution proof harness for this type.

fn verus_proof() -> TokenStream

Returns a proc_macro2::TokenStream containing a Verus-verified function with requires/ensures specifications for this type’s invariants.

fn creusot_proof() -> TokenStream

Returns a proc_macro2::TokenStream containing Creusot contract functions with #[requires]/#[ensures]/#[trusted] attributes for this type’s invariants.

fn elicit_checked( peer: Peer<RoleServer>, ) -> impl Future<Output = Result<Self, ElicitError>> + Send

Server-side elicitation via MCP peer.

fn with_style(style: Self::Style) -> ElicitBuilder<Self>

Create a builder for one-off style override.

fn elicit_proven<C>( communicator: &C, ) -> impl Future<Output = Result<(Self, Established<Is<Self>>), ElicitError>> + Send

where C: ElicitCommunicator,

Elicit a value with proof it inhabits type Self.

fn prusti_proof() -> TokenStream

Returns a proc_macro2::TokenStream containing Prusti contract functions with #[requires]/#[ensures] attributes for this type’s invariants.

impl Eq for Circle

impl From<Arc<Circle>> for Circle

fn from(arc: Arc<Circle>) -> Self

Converts to this type from the input type.

impl From<Circle> for Arc<Circle>

fn from(wrapper: Circle) -> Self

Converts to this type from the input type.

impl From<Circle> for Circle

fn from(inner: Circle) -> Self

Converts to this type from the input type.

impl From<Circle> for Circle

fn from(v: Circle) -> Self

Converts to this type from the input type.

impl JsonSchema for Circle

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn json_schema(_gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

impl PartialEq for Circle

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Prompt for Circle

fn prompt() -> Option<&'static str>

Optional prompt to guide user interaction.

impl Serialize for Circle

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl ToCodeLiteral for Circle

fn to_code_literal(&self) -> TokenStream

Return a TokenStream containing a single Rust expression whose evaluation produces a value equal to self.

fn type_tokens() -> TokenStream

where Self: Sized,

Token stream for the concrete type name (used to annotate None::<T>).