Skip to main content
Module

x/fun/mod.ts>filterable.filterMap

A collection of algebraic data types, lenses, and schemables based on a light weight higher kinded type implementation. Written for deno.
Go to Latest
function filterable.filterMap
import { filterable } from "https://deno.land/x/fun@v2.0.0-alpha.12/mod.ts";
const { filterMap } = filterable;

Type Parameters

U extends Kind
V extends Kind

Parameters

unnamed 0: Mappable<U>
unnamed 1: Filterable<V>

Returns

<A, I>(predicate: (a: A) => Option<I>) => <B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(ua: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => $<U, [$<V, [I, B, C], [D], [E]>, J, K], [L], [M]>