def Fin.index

bend-kube-runtime@0.2.0.0 · src/finalizer.bend:61

import Base

61# Where name sits among the finalizers, counting from i.
62def Fin.index(fs: List<&2, String>, +name: String, +i: U32) -> Maybe<&2, U32>:
63  match fs:
64    case Nil{}:
65      None{}
66    case Con{f, t}:
67      Fin.index.if(i, Fin.index(t, name, (i + 1 : U32)), String.eq(f, name))