def array.val

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

import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
import Base
import emerging-eztoml@0.9.0.0/main.bend as E

425# a value read as an array of strings
426def array.val(val: E.Val) -> Maybe<&2, List<&2, String>>:
427  match val:
428    case E.VArr{items}:
429      strs(items)
430    case _:
431      None{}

Uses (5)

Used by (1)