Skip to main content
Module

x/fun/filterable.ts>Filterable

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
baetheus/fun
Go to Latest
interface Filterable
implements TypeClass<U>
import { type Filterable } from "https://deno.land/x/fun@v2.0.0-alpha.6/filterable.ts";

Filterable https://github.com/fantasyland/static-land/blob/master/docs/spec.md#filterable

TODO; add refine method

Properties

readonly
filter: { <A, I extends A>(refinement: (a: A) => a is I): <B, C, D, E>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>; <A>(predicate: (a: A) => boolean): <B, C, D, E>(ta: $<U, [A, B, C], [D], [E]>) => $<U, [A, B, C], [D], [E]>; }
readonly
filterMap: <A, I>(fai: (a: A) => Option<I>) => <B, C, D, E>(ua: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]>
readonly
partition: { <A, I extends A>(refinement: (a: A) => a is I): <B, C, D, E>(ta: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [I, B, C], [D], [E]>, $<U, [A, B, C], [D], [E]>>; <A>(predicate: (a: A) => boolean): <B, C, D, E>(ta: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [A, B, C], [D], [E]>, $<U, [A, B, C], [D], [E]>>; }
readonly
partitionMap: <A, I, J>(fai: (a: A) => Either<J, I>) => <B, C, D, E>(ua: $<U, [A, B, C], [D], [E]>) => Pair<$<U, [I, B, C], [D], [E]>, $<U, [J, B, C], [D], [E]>>