~/jendhub

def decide.read

ezx@1.11.0.0 · src/add/plan.bend:387

import ezx@1.11.0.0/src/add/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/ledger/manifest.bend as M

387# no ledger, or one that does not parse, is refused before anything else,
388# with the reason every command that edits a ledger gives
389def decide.read(read: M.Read, +world: A.World) -> Verdict:
390  match read:
391    case M.Bad{why}:
392      Stop{"ez: " ++ M.show(M.Bad{why})}
393    case M.Good{_m}:
394      decide.place(A.place(world), world)

Uses (7)

Used by (1)