import { type Filterable } from "https://deno.land/x/fun@v2.0.0/filterable.ts";
A Filterable structure allows one to filter over the values contained in the structure. This includes standard filter, filterMap, partition, and partitionMap.
Type Parameters
U extends Kind
Properties
readonly
filter: { <A, I extends A>(refinement: Refinement<A, I>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>; <A>(predicate: Predicate<A>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [A, B, C], [D], [E]>; }readonly
partition: { <A, I extends A>(refinement: Refinement<A, I>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [I, B, C], [D], [E]>, $<U, [A, B, C], [D], [E]>>; <A>(predicate: Predicate<A>): <B = never, C = never, D = unknown, E = unknown>(ta: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [A, B, C], [D], [E]>, $<U, [A, B, C], [D], [E]>>; }