~/jendhub

def drop_opt

cswap-bend-cli@0.1.0.0 · store/io.bend:187

import cswap-bend-cli@0.1.0.0/store/io.bend as Io
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act

187def drop_opt(+root: String, +seq: Json.Json, +m: Maybe<&2, String>, +ts: String) -> Act.of(Json.Json):
188  match m:
189    case None{}:
190      Act.pure(Json.Json, seq)
191    case Some{n}:
192      drop_slot(root, seq, n, ts)

Uses (6)

Used by (1)