~/jendhub

def entries.text

ezx@1.11.0.0 · src/ws/up.bend:117

import ezx@1.11.0.0/src/ws/up.bend as Up
import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W

117# every entry as it was written
118def entries.text(es: List<&2, W.Entry>) -> List<&2, String>:
119  match es:
120    case []:
121      []
122    case hd <> tl:
123      W.entry.text(hd) <> entries.text(tl)

Uses (4)

Used by (1)