def insert.at

yaml-for-bend@0.1.1.0 · scan.bend:585

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

585def insert.at(d: Nat, out: List<&2, T.Token>, t: T.Token) -> List<&2, T.Token>:
586  match d:
587    case 0n:
588      t <> out
589    case 1n+k:
590      match out:
591        case Nil{}:
592          [t]
593        case Con{h, rest}:
594          h <> insert.at(k, rest, t)