def cut.at

cswap-bend-cli@0.1.0.0 · frame.bend:35

import Base

35def cut.at(m: Maybe<&2, Nat>, +s: String) -> Maybe<&2, Cut>:
36  match m:
37    case None{}:
38      None{}
39    case Some{+n}:
40      Some{Cut{String.take(s, n), String.drop(s, Nat.add(n, 1n))}}