~/jendhub

def decide.read

ezx@1.11.0.0 · src/add/hub.bend:172

import ezx@1.11.0.0/src/add/hub.bend as Hub
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

172# no ledger, or one that does not parse, is refused before anything else,
173# with the reason every command that edits a ledger gives
174def decide.read(read: M.Read, +world: A.World) -> Verdict:
175  match read:
176    case M.Bad{why}:
177      Stop{"ez: " ++ M.show(M.Bad{why})}
178    case M.Good{_m}:
179      +e = early(world)
180      decide.early(String.is_empty(e), e, world)

Uses (8)

Used by (1)