def read_seq2

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

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/act.bend as Act

66def read_seq2(+ex: Bool, +path: String) -> Act.of(Maybe<&2, Json.Json>):
67  match ex:
68    case False{}:
69      Act.pure(Maybe<&2, Json.Json>, None{})
70    case True{}:
71      do ActM<Maybe<&2, Json.Json>>:
72        text : String <- Fs.read_file(path)
73        parse_seq(path, Json.parse(text))