def run

ezx@1.11.0.0 · src/init/run.bend:12

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/init/plan.bend as IP

12# `ez init [name] [entry.bend] [--description TEXT]`
13def run(+name: String, +file: String, +desc: String) -> IO(Unit):
14  do IO<Unit>:
15    lib : String <- Run.bend.lib()
16    led : Maybe<&2, String> <- F.read(IP.toml())
17    ig : Maybe<&2, String> <- F.read(IP.ignore.file())
18    mn : Maybe<&2, String> <- F.read(IP.entry.or(file))
19    lb : Maybe<&2, String> <- F.read(IP.lib.file())
20    Run.exec.plan(lib, IP.plan(IP.World{name, file, desc, led, ig, mn, lb}))