Struct RegularPolygon 

pub struct RegularPolygon(pub Arc<RegularPolygon>);

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

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

Tuple Fields

0: Arc<RegularPolygon>

Implementations

impl RegularPolygon

pub fn sides(&self) -> u32

Number of sides.

pub fn circumradius(&self) -> f32

Circumradius (radius of circumscribed circle).

pub fn regular_polygon_new( &self, sides: u32, circumradius: f32, ) -> RegularPolygon

Constructs from sides and circumradius (ignores self).

impl RegularPolygon

pub fn sides_tool_tool_attr() -> Tool

Generated tool metadata function for sides_tool

pub fn sides_tool(&self) -> Result<Json<u32>, ErrorData>

sides MCP tool wrapper method.

pub fn circumradius_tool_tool_attr() -> Tool

Generated tool metadata function for circumradius_tool

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

circumradius MCP tool wrapper method.

pub fn regular_polygon_new_tool_tool_attr() -> Tool

Generated tool metadata function for regular_polygon_new_tool

pub fn regular_polygon_new_tool( &self, params: Parameters<RegularPolygonNewParams>, ) -> Result<Json<RegularPolygon>, ErrorData>

regular_polygon_new MCP tool wrapper method.

Methods from Deref<Target = RegularPolygon>

pub fn circumradius(&self) -> f32

Get the radius of the circumcircle on which all vertices of the regular polygon lie

pub fn inradius(&self) -> f32

Get the inradius or apothem of the regular polygon. This is the radius of the largest circle that can be drawn within the polygon

pub fn side_length(&self) -> f32

Get the length of one side of the regular polygon

pub fn internal_angle_degrees(&self) -> f32

Get the internal angle of the regular polygon in degrees.

This is the angle formed by two adjacent sides with points within the angle being in the interior of the polygon

pub fn internal_angle_radians(&self) -> f32

Get the internal angle of the regular polygon in radians.

This is the angle formed by two adjacent sides with points within the angle being in the interior of the polygon

pub fn external_angle_degrees(&self) -> f32

Get the external angle of the regular polygon in degrees.

This is the angle formed by two adjacent sides with points within the angle being in the exterior of the polygon

pub fn external_angle_radians(&self) -> f32

Get the external angle of the regular polygon in radians.

This is the angle formed by two adjacent sides with points within the angle being in the exterior of the polygon

Trait Implementations

impl AsRef<RegularPolygon> for RegularPolygon

fn as_ref(&self) -> &RegularPolygon

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

impl Clone for RegularPolygon

fn clone(&self) -> RegularPolygon

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegularPolygon

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

Formats the value using the given formatter.

impl Deref for RegularPolygon

type Target = RegularPolygon

The resulting type after dereferencing.

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

Dereferences the value.

impl DerefMut for RegularPolygon

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

Mutably dereferences the value.

impl<'de> Deserialize<'de> for RegularPolygon

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

Deserialize this value from the given Serde deserializer.

impl ElicitComplete for RegularPolygon

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 RegularPolygon

fn pattern() -> ElicitationPattern

What elicitation pattern does this type use?

fn metadata() -> TypeMetadata

Get the complete structural metadata for this type.

impl ElicitPromptTree for RegularPolygon

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 RegularPolygon

fn type_spec() -> TypeSpec

Returns the complete spec for this type.

impl Elicitation for RegularPolygon

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 RegularPolygon

impl From<Arc<RegularPolygon>> for RegularPolygon

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

Converts to this type from the input type.

impl From<RegularPolygon> for Arc<RegularPolygon>

fn from(wrapper: RegularPolygon) -> Self

Converts to this type from the input type.

impl From<RegularPolygon> for RegularPolygon

fn from(inner: RegularPolygon) -> Self

Converts to this type from the input type.

impl From<RegularPolygon> for RegularPolygon

fn from(v: RegularPolygon) -> Self

Converts to this type from the input type.

impl JsonSchema for RegularPolygon

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 RegularPolygon

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 RegularPolygon

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

Optional prompt to guide user interaction.

impl Serialize for RegularPolygon

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

Serialize this value into the given Serde serializer.

impl ToCodeLiteral for RegularPolygon

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>).