filter<I, A, R>(index: I, predicate: ((value: A[I], i: number) => value is R)): ((value: A) => value is Extract<[...Slice<A>[I], R, ...SliceAfter<A>[IAddOne[I]]], A>)
Type Parameters
I extends 0 | 2 | 1 | 3 | 4 | 5
A extends any[]
R extends any
Parameters
index: I
predicate: ((value: A[I], i: number) => value is R)
(value: A[I], i: number): value is R
Parameters
value: A[I]
i: number
Returns value is R
Returns ((value: A) => value is Extract<[...Slice<A>[I], R, ...SliceAfter<A>[IAddOne[I]]], A>)
(value: A): value is Extract<[...Slice<A>[I], R, ...SliceAfter<A>[IAddOne[I]]], A>
Parameters
value: A
Returns value is Extract<[...Slice<A>[I], R, ...SliceAfter<A>[IAddOne[I]]], A>
filter<I, A>(index: I, predicate: ((value: A[I], i: number) => any)): ((value: A, i: number) => any)