def text.find.inc

ezsys@0.1.0.0 · src/str.bend:183

import Base

183# a place one character further on
184def text.find.inc(got: Maybe<&2, U32>) -> Maybe<&2, U32>:
185  match got:
186    case None{}:
187      None{}
188    case Some{+i}:
189      Some{(i + 1 : U32)}