~/jendhub

def details_of

bendonnect-rpc@0.1.0.0 · src/error.bend:277

import bendonnect-rpc@0.1.0.0/src/error.bend as Error
import Base
import bend-kit-json@0.6.1.1/json.bend as Json

277def details_of(m: Maybe<&1, Json.Val>) -> List<&1, Detail>:
278  match m:
279    case None{}:
280      Nil{}
281    case Some{v}:
282      details_val(v)

Uses (5)

Used by (1)