def rows.find

emerging-eztoml@0.9.0.0 · main.bend:1925

import Base

1925# the first pair of this name
1926def rows.find(rows: List<&2, Val>, +name: String) -> Hit:
1927  match rows:
1928    case []:
1929      Miss{}
1930    case VPair{n, v} <> t:
1931      find.step(str.eq(n, name), v, _u => rows.find(t, name))
1932    case _ <> t:
1933      rows.find(t, name)