List of all items

Structs

• ElicitBuilder
• ElicitClient
• ElicitError
• FieldInfo
• JsonError
• RmcpError
• ServiceError
• style::CompactStyle
• style::DefaultStyle
• style::PromptContext
• style::VerboseStyle
• style::WizardStyle
• verification::AndContract
• verification::ContractedElicitation
• verification::NotContract
• verification::OrContract
• verification::contracts::BoolValid
• verification::contracts::F32Finite
• verification::contracts::F64Finite
• verification::contracts::I128Positive
• verification::contracts::I32NonNegative
• verification::contracts::I32Positive
• verification::contracts::I64Positive
• verification::contracts::IsizePositive
• verification::contracts::OptionIsSome
• verification::contracts::OptionWithInner
• verification::contracts::ResultIsOk
• verification::contracts::ResultWithOk
• verification::contracts::StringMaxLength
• verification::contracts::StringNonEmpty
• verification::contracts::U128NonZero
• verification::contracts::U32NonZero
• verification::contracts::U64NonZero
• verification::contracts::UsizeNonZero
• verification::contracts::VecAllElements
• verification::contracts::VecMaxLength
• verification::contracts::VecNonEmpty
• verification::mechanisms::AffirmReturnsBoolean
• verification::mechanisms::InputNonEmpty
• verification::mechanisms::MechanismWithType
• verification::mechanisms::NumericReturnsValid
• verification::mechanisms::SurveyReturnsValidVariant
• verification::mechanisms::TextReturnsNonEmpty
• verification::mechanisms::TextReturnsString
• verification::types::ArcNonNull
• verification::types::ArcSatisfies
• verification::types::ArrayAllSatisfy
• verification::types::AuthorityBytes
• verification::types::BTreeMapNonEmpty
• verification::types::BTreeSetNonEmpty
• verification::types::BalancedDelimiters
• verification::types::BoolDefault
• verification::types::BoolFalse
• verification::types::BoolTrue
• verification::types::BoxNonNull
• verification::types::BoxSatisfies
• verification::types::CharAlphabetic
• verification::types::CharAlphanumeric
• verification::types::CharNumeric
• verification::types::DurationPositive
• verification::types::F32Default
• verification::types::F32Finite
• verification::types::F32NonNegative
• verification::types::F32Positive
• verification::types::F64Default
• verification::types::F64Finite
• verification::types::F64NonNegative
• verification::types::F64Positive
• verification::types::HashMapNonEmpty
• verification::types::HashSetNonEmpty
• verification::types::I128Default
• verification::types::I128NonNegative
• verification::types::I128NonZero
• verification::types::I128Positive
• verification::types::I128Range
• verification::types::I16Default
• verification::types::I16NonNegative
• verification::types::I16NonZero
• verification::types::I16Positive
• verification::types::I16Range
• verification::types::I32Default
• verification::types::I32NonNegative
• verification::types::I32NonZero
• verification::types::I32Positive
• verification::types::I32Range
• verification::types::I64Default
• verification::types::I64NonNegative
• verification::types::I64NonZero
• verification::types::I64Positive
• verification::types::I64Range
• verification::types::I8Default
• verification::types::I8NonNegative
• verification::types::I8NonZero
• verification::types::I8Positive
• verification::types::I8Range
• verification::types::IpPrivate
• verification::types::IpPublic
• verification::types::IpV4
• verification::types::IpV6
• verification::types::Ipv4Bytes
• verification::types::Ipv4Loopback
• verification::types::Ipv4Private
• verification::types::Ipv4Public
• verification::types::Ipv6Bytes
• verification::types::Ipv6Loopback
• verification::types::Ipv6Private
• verification::types::Ipv6Public
• verification::types::IsizeDefault
• verification::types::IsizeNonNegative
• verification::types::IsizeNonZero
• verification::types::IsizePositive
• verification::types::IsizeRange
• verification::types::LinkedListNonEmpty
• verification::types::MacAddr
• verification::types::MacLocal
• verification::types::MacMulticast
• verification::types::MacUnicast
• verification::types::MacUniversal
• verification::types::OptionSome
• verification::types::PathAbsolute
• verification::types::PathBufExists
• verification::types::PathBufIsDir
• verification::types::PathBufIsFile
• verification::types::PathBufReadable
• verification::types::PathBytes
• verification::types::PathNonEmpty
• verification::types::PathRelative
• verification::types::RcNonNull
• verification::types::RcSatisfies
• verification::types::RegexBytes
• verification::types::ResultOk
• verification::types::SchemeBytes
• verification::types::SocketAddrV4Bytes
• verification::types::SocketAddrV4NonZero
• verification::types::SocketAddrV4Privileged
• verification::types::SocketAddrV4Unprivileged
• verification::types::SocketAddrV6Bytes
• verification::types::SocketAddrV6NonZero
• verification::types::SocketAddrV6Privileged
• verification::types::SocketAddrV6Unprivileged
• verification::types::StringDefault
• verification::types::StringNonEmpty
• verification::types::Tuple2
• verification::types::Tuple3
• verification::types::Tuple4
• verification::types::U128Default
• verification::types::U128NonZero
• verification::types::U128Positive
• verification::types::U128Range
• verification::types::U16Default
• verification::types::U16NonZero
• verification::types::U16Positive
• verification::types::U16Range
• verification::types::U32Default
• verification::types::U32NonZero
• verification::types::U32Positive
• verification::types::U32Range
• verification::types::U64Default
• verification::types::U64NonZero
• verification::types::U64Positive
• verification::types::U64Range
• verification::types::U8Default
• verification::types::U8NonZero
• verification::types::U8Positive
• verification::types::U8Range
• verification::types::UrlAbsoluteBytes
• verification::types::UrlBytes
• verification::types::UrlHttpBytes
• verification::types::UrlWithAuthorityBytes
• verification::types::UsizeDefault
• verification::types::UsizeNonZero
• verification::types::UsizePositive
• verification::types::UsizeRange
• verification::types::Utf8Bytes
• verification::types::ValidCharClass
• verification::types::ValidEscapes
• verification::types::ValidQuantifiers
• verification::types::VecAllSatisfy
• verification::types::VecDequeNonEmpty
• verification::types::VecNonEmpty

Enums

• ElicitErrorKind
• style::SelectStyle
• verification::VerifierBackend
• verification::types::I128RangeStyle
• verification::types::I16NonZeroStyle
• verification::types::I16RangeStyle
• verification::types::I32RangeStyle
• verification::types::I64RangeStyle
• verification::types::I8NonZeroStyle
• verification::types::I8RangeStyle
• verification::types::IsizeRangeStyle
• verification::types::U128RangeStyle
• verification::types::U16RangeStyle
• verification::types::U32RangeStyle
• verification::types::U64RangeStyle
• verification::types::U8RangeStyle
• verification::types::UsizeRangeStyle
• verification::types::ValidationError

Traits

• Affirm
• Authorize
• Elicitation
• ElicitationStyle
• Prompt
• Select
• Survey
• style::ElicitationStyle
• verification::Contract
• verification::DynContract
• verification::WithContract
• verification::types::ValidatesType

Macros

• default_style

Derive Macros

• Elicit

Functions

• mcp::bool_params
• mcp::extract_value
• mcp::number_params
• mcp::parse_bool
• mcp::parse_integer
• mcp::parse_string
• mcp::select_params
• mcp::text_params
• mcp::tool_names::elicit_bool
• mcp::tool_names::elicit_number
• mcp::tool_names::elicit_select
• mcp::tool_names::elicit_survey
• mcp::tool_names::elicit_text
• verification::compose::and
• verification::compose::not
• verification::compose::or
• verification::types::has_null_byte
• verification::types::is_absolute
• verification::types::is_dynamic_port
• verification::types::is_ipv4_private
• verification::types::is_ipv6_private
• verification::types::is_local
• verification::types::is_multicast
• verification::types::is_nonzero_port
• verification::types::is_privileged_port
• verification::types::is_registered_port
• verification::types::is_relative
• verification::types::is_unicast
• verification::types::is_universal
• verification::types::is_valid_utf8
• verification::types::is_well_known_port

Type Aliases

• ElicitResult
• verification::types::DurationNonZero