toggle menu
http4k
6.15.0.1
jvm
switch theme
search in API
http4k-ai-mcp-core
/
org.http4k.ai.mcp.model
/
nonEmptyString
non
Empty
String
fun
Elicitation
.
nonEmptyString
(
)
:
ElicitationLensSpec
<
String
>
Typesafe extension functions for creating Elicitation lenses.
fun
Tool.Arg
.
nonEmptyString
(
)
:
ToolArgLensSpec
<
String
>