toggle menu
http4k
6.15.0.1
jvm
switch theme
search in API
http4k-ai-mcp-core
/
org.http4k.ai.mcp.model
/
localTime
local
Time
fun
Elicitation
.
localTime
(
formatter
:
DateTimeFormatter
=
ISO_LOCAL_TIME
)
:
ElicitationLensSpec
<
LocalTime
>
fun
Tool.Arg
.
localTime
(
formatter
:
DateTimeFormatter
=
ISO_LOCAL_TIME
)
:
ToolArgLensSpec
<
LocalTime
>