http4k
Toggle table of contents
6.55.0.0
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
http4k
http4k-ai-mcp-core
/
org.http4k.ai.mcp.model
/
localTime
local
Time
fun
Elicitation
.
localTime
(
formatter
:
DateTimeFormatter
=
ISO_LOCAL_TIME
)
:
ElicitationLensSpec
<
LocalTime
?
>
(
source
)
fun
Tool.Arg
.
localTime
(
formatter
:
DateTimeFormatter
=
ISO_LOCAL_TIME
)
:
ToolArgLensSpec
<
LocalTime
?
>
(
source
)