Enum DurationGenerationMode 

pub enum DurationGenerationMode {
    Zero,
    FromSecs(u64),
    FromMillis(u64),
    FromMicros(u64),
    FromNanos(u64),
}

Generation mode for Duration.

This enum allows an agent (or user) to specify how to create a Duration:

• Zero: Zero duration
• FromSecs: Duration from seconds
• FromMillis: Duration from milliseconds
• FromMicros: Duration from microseconds
• FromNanos: Duration from nanoseconds

Variants

Zero

Zero duration.

FromSecs(u64)

Duration from seconds.

FromMillis(u64)

Duration from milliseconds.

FromMicros(u64)

Duration from microseconds.

FromNanos(u64)

Duration from nanoseconds.

Trait Implementations

impl Clone for DurationGenerationMode

fn clone(&self) -> DurationGenerationMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DurationGenerationMode

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

Formats the value using the given formatter.

impl Elicitation for DurationGenerationMode

type Style = DurationGenerationModeStyle

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 elicit_checked( peer: Peer<RoleServer>, ) -> impl Future<Output = ElicitResult<Self>> + 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: ElicitCommunicator>( communicator: &C, ) -> impl Future<Output = ElicitResult<(Self, Established<Is<Self>>)>> + Send

Elicit a value with proof it inhabits type Self.

fn kani_proof() -> TokenStream

Generate a Kani symbolic execution proof harness for this type.

fn verus_proof() -> TokenStream

Generate a Verus specification proof for this type.

fn creusot_proof() -> TokenStream

Generate a Creusot contract proof for this type.

fn prusti_proof() -> TokenStream

Generate a Prusti separation logic proof for this type.

impl Hash for DurationGenerationMode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for DurationGenerationMode

fn eq(&self, other: &DurationGenerationMode) -> 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 DurationGenerationMode

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

Optional prompt to guide user interaction.

impl Select for DurationGenerationMode

fn options() -> Vec<Self>

All valid options for this selection.

fn labels() -> Vec<String>

Human-readable labels for each option.

fn from_label(label: &str) -> Option<Self>

Parse a label back into the type.

fn select_with_filter<F, V>(filter: F) -> V

where Self: Filter<F, V>,

Select from filtered options.

impl Copy for DurationGenerationMode

impl Eq for DurationGenerationMode

impl StructuralPartialEq for DurationGenerationMode