def get.pick

bend-kit-json@0.7.0.0 · json.bend:879

import bend-kit-json@0.7.0.0/json.bend as Json
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

879def get.pick(v: Val, found: Maybe<&1, Val>, r: Bytes.Bytes & Bytes.Bytes & Bool) -> Bytes.Bytes & Maybe<&1, Val>:
880  (k, key, same) = r
881  (key, Bool.pick(Maybe<&1, Val>, same, Some{v}, found))

Uses (7)

Used by (1)