def par
snap@1.4.0.0 · main.bend:30
import snap@1.4.0.0/main.bend as Snap
import Base
import snap@1.4.0.0/src/effect.bend as Effect
import snap@1.4.0.0/src/par.bend as Par
30
31
32
33
34
35
36def par(
37 js: List<&2, List<&2, String>>,
38 +width: String,
39 +gb: String,
40 +at: String,
41 +by: String
42) -> IO(List<&2, String>):
43 do IO<List<&2, String>>:
44 +out : String <- Effect.snaprun.par(Par.par.plan(js, width, gb, at, by))
45 +cs : List<&2, String> <- IO.pure(List<&2, String>, Par.par.nonblank(String.lines(out)))
46 bodies : List<&2, Maybe<&2, String>> <- Par.par.bodies(cs, at, 0n)
47 return Par.par.answers(cs, bodies)