def line_start.go

bend-lint-api@0.2.0.0 · shared/strings.bend:18

import bend-lint-api@0.2.0.0/shared/strings.bend as Strings
import Base

18def line_start.go(s: String, +i: U32, +at: U32, start: U32, going: Bool) -> U32:
19  match s going:
20    case _ False{}:
21      start
22    case SNil{} True{}:
23      start
24    case SCon{c, rest} True{}:
25      line_start.go(
26        rest,
27        (i + 1: U32),
28        at,
29        Bool.pick(U32, Char.is_eq(c, '\n'), (i + 1: U32), start),
30        U32.is_lt((i + 1: U32), at)
31      )

Uses (8)

Used by (1)