src/init/run.bend source

src/init/run.bend on the hub · documented module

# init/run: the interpreter for `ez init`. It reads ez.toml, `.gitignore`,# the entry file and `src/lib.bend` into a World, asks the planner# (init/plan.bend) for the plan, and runs it with the lock's effect runner# (`Run.exec.plan`), which makes a file's directory before writing it and# exits 1 with the reason when the plan refuses. It decides nothing; that it# reads and executes faithfully is EZ-TRUST-2.import Baseimport ../io/file.bend as Fimport ../lock/run.bend as Runimport ./plan.bend as IP# `ez init [name] [entry.bend] [--description TEXT]`def run(+name: String, +file: String, +desc: String) -> IO(Unit):  do IO<Unit>:    lib : String <- Run.bend.lib()    led : Maybe<&2, String> <- F.read(IP.toml())    ig : Maybe<&2, String> <- F.read(IP.ignore.file())    mn : Maybe<&2, String> <- F.read(IP.entry.or(file))    lb : Maybe<&2, String> <- F.read(IP.lib.file())    Run.exec.plan(lib, IP.plan(IP.World{name, file, desc, led, ig, mn, lb}))