def field_of

mlbend-huggingface@0.1.1.0 · main.bend:211

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

211# The field of an item of a JSON array, when the item is there.
212def field_of(m: Maybe<&1, Json.Val>, key: String) -> Maybe<&1, Json.Val>:
213  match m:
214    case Some{it}:
215      field(it, key)
216    case None{}:
217      None{}