~/jendhub

def Vec.get.if

bend-kit-collections@0.1.4.1 · vec.bend:58

import bend-kit-collections@0.1.4.1/vec.bend as Vec
import Base

58def Vec.get.if(
59  ~T: Data, ok: Bool, +n: U32, buf: Array<T>, +i: U32
60) -> Vec<T> & Maybe<&2, T>:
61  match ok:
62    case True{}:
63      Vec.get.fin(~T, n, Array.get(T, buf, i))
64    case False{}:
65      (Vec{n, buf}, None{})

Uses (9)

Used by (1)