def csv_doc

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

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

114def csv_doc(rows: Result<&2, &2, String, List<&2, List<&2, String>>>) -> Result<&2, &2, String, Json.Json>:
115  match rows:
116    case Fail{e}:
117      Fail{"csv: " ++ e}
118    case Done{Con{h, t}}:
119      csv_body(csv_head_ok(h), t)
120    case Done{Nil{}}:
121      Done{Setload.empty()}