~/jendhub

def unnested

ezx@1.11.0.0 · src/ws/workspace.bend:295

import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
import Base

295# whether no member's ledger has a `[workspace]` table of its own
296def unnested(ls: List<&2, Ledger>) -> Bool:
297  match ls:
298    case []:
299      True{}
300    case +hd <> tl:
301      rest = unnested(tl)
302      Bool.and(Bool.not(ledger.nested(hd)), rest)

Uses (6)

Used by (1)