~/jendhub

def adopt.finish

cswap-bend-cli@0.1.0.0 · urec.bend:207

import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

207def adopt.finish(+root: String, ar: AR) -> Act.of(AR):
208  match ar:
209    case AR{+rows, adopted, kept}:
210      Act.bind(Unit, AR, Ustore.write_rows(root, rows), u => Act.pure(AR, AR{rows, adopted, kept}))

Uses (7)

Used by (1)