~/jendhub

def get.has

bend-net-json@0.3.0.0 · json.bend:401

import bend-net-json@0.3.0.0/json.bend as Json
import Base

401def get.has(+m: Map<&2, Val>, +k: String, hit: Bool) -> Maybe<&2, Val>:
402  match hit:
403    case False{}:
404      None{}
405    case True{}:
406      get.some(Map.get(Val, Null{}, m, k))

Uses (7)

Used by (1)