toolResultToJsonString function

String toolResultToJsonString(
  1. Map<String, ToolValue> result
)

Convert Map<String, ToolValue> to JSON string

Implementation

String toolResultToJsonString(Map<String, ToolValue> result) {
  return jsonEncode(result.map((k, v) => MapEntry(k, v.toJson())));
}