Typed.Ty.put_opt: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/typed.bend as Typed
Lines 145-150 of bend-kube-runtime@0.2.0.0/src/typed.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/typed.bend&start_line=145&end_line=150

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

def Ty.put_opt(~A: Data, ~enc: A -> J.Json, key: String, m: Maybe<&2, A>) -> Maybe<&2, J.KV>:
  match m:
    case Some{x}:
      Some{J.KV{key, enc(x)}}
    case None{}:
      None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=KV