http4k-ai-mcp-core/org.http4k.ai.mcp.model/Elicitation

Elicitation

object Elicitation

Types

sealed class Metadata<IN, T : Any>

Metadata for elicitation parameters which can be added to the schema of the elicitation

Functions

fun Elicitation.base64(): ElicitationLensSpec<String>

fun Elicitation.boolean(): ElicitationLensSpec<Boolean>

fun Elicitation.dateTime(formatter: DateTimeFormatter = ISO_LOCAL_DATE_TIME): ElicitationLensSpec<LocalDateTime>

fun Elicitation.duration(): ElicitationLensSpec<Duration>

inline fun <T : Enum<T>> Elicitation.enum(): ElicitationLensSpec<T>

fun Elicitation.instant(): ElicitationLensSpec<Instant>

fun Elicitation.int(): ElicitationLensSpec<Long>

fun Elicitation.localDate(formatter: DateTimeFormatter = ISO_LOCAL_DATE): ElicitationLensSpec<LocalDate>

fun Elicitation.locale(): ElicitationLensSpec<Locale>

fun Elicitation.localTime(formatter: DateTimeFormatter = ISO_LOCAL_TIME): ElicitationLensSpec<LocalTime>

fun Elicitation.nonBlankString(): ElicitationLensSpec<String>

fun Elicitation.nonEmptyString(): ElicitationLensSpec<String>

Typesafe extension functions for creating Elicitation lenses.

fun Elicitation.number(): ElicitationLensSpec<BigDecimal>

fun Elicitation.offsetDateTime(formatter: DateTimeFormatter = ISO_OFFSET_DATE_TIME): ElicitationLensSpec<OffsetDateTime>

fun Elicitation.offsetTime(formatter: DateTimeFormatter = ISO_OFFSET_TIME): ElicitationLensSpec<OffsetTime>

fun Elicitation.period(): ElicitationLensSpec<Period>

fun Elicitation.regexObject(): ElicitationLensSpec<Regex>

fun Elicitation.string(): ElicitationLensSpec<String>

fun Elicitation.uri(): ElicitationLensSpec<Uri>

fun Elicitation.urlEncoded(): ElicitationLensSpec<String>

fun Elicitation.uuid(): ElicitationLensSpec<UUID>

inline fun <VALUE : Value<T>, T : Any> Elicitation.value(vf: ValueFactory<VALUE, T>): ElicitationLensSpec<VALUE>

fun Elicitation.yearMonth(): ElicitationLensSpec<YearMonth>

fun Elicitation.zonedDateTime(formatter: DateTimeFormatter = ISO_ZONED_DATE_TIME): ElicitationLensSpec<ZonedDateTime>

fun Elicitation.zoneId(): ElicitationLensSpec<ZoneId>

fun Elicitation.zoneOffset(): ElicitationLensSpec<ZoneOffset>