def Fin.index.if

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

import bend-kube-runtime@0.2.0.0/src/finalizer.bend as Finalizer
import Base

54def Fin.index.if(+i: U32, rest: Maybe<&2, U32>, hit: Bool) -> Maybe<&2, U32>:
55  match hit:
56    case True{}:
57      Some{i}
58    case False{}:
59      rest

Uses (3)

Used by (1)