~/jendhub

def table.go

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

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

468# the table, once both arrays were read
469def table.go(ms: Maybe<&2, List<&2, String>>, ex: Maybe<&2, List<&2, String>>) -> Read:
470  match ms:
471    case None{}:
472      Bad{"ez: [workspace] members is not a list of strings"}
473    case Some{mm}:
474      match ex:
475        case None{}:
476          Bad{"ez: [workspace] exclude is not a list of strings"}
477        case Some{xx}:
478          Root{Spec{entries.of(mm), paths.of(xx)}}

Uses (7)

Used by (1)