def str.split

bend-lint-rules@0.2.0.0 · layout/format.bend:1260

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

1260def str.split(whole: Bool, +s: String, width: U32, tail: Maybe<&2, U32>, +keep: U32) -> Doc:
1261  match whole:
1262    case True{}:
1263      Str{s, "", width, tail}
1264    case False{}:
1265      Str{Strings.take(s, U32.to_nat(keep)), String.drop(s, U32.to_nat(keep)), width, tail}