def done

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

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

import Base

357def done(v: Val, rest: String) -> Maybe<&2, Val>:
358  match rest:
359    case SNil{}:
360      Some{v}
361    case SCon{h, t}:
362      None{}

Uses (3)

Used by (1)

bend-net-json@0.3.0.0/json:run