def find

bend-toon-codec@0.1.0.0 · src/split.bend:59

import bend-toon-codec@0.1.0.0/src/split.bend as Split
import Base

59# Index of the first `target`, ignoring quotes, or `none()`.
60def find(+s: String, +target: U32, +i: U32) -> U32:
61  match s:
62    case SNil{}:
63      none()
64    case SCon{Chr{c}, t}:
65      found(U32.is_eq(c, target), i, find(t, target, (i + 1 : U32)))

Uses (7)

Used by (1)