def csv_body

cswap-bend-cli@0.1.0.0 · setimp.bend:107

import cswap-bend-cli@0.1.0.0/setimp.bend as Setimp
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/setload.bend as Setload

107def csv_body(ok: Bool, t: List<&2, List<&2, String>>) -> Result<&2, &2, String, Json.Json>:
108  match ok:
109    case True{}:
110      csv_rows(t, Setload.empty())
111    case False{}:
112      Fail{"a csv settings file starts with the header key,value"}

Uses (7)

Used by (1)