Hi there! Are you looking for the official Deno documentation? Try docs.deno.com for all your Deno learning needs.

apply

import { apply } from "https://raw.githubusercontent.com/baetheus/fun/main/applicable.ts";

Compose two Applicables into a new apply function.

function apply<U extends Kind, V extends Kind>(U: Applicable<U>, V: Applicable<V>): <A, B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(uva: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => <I>(uvfai: $<U, [$<V, [(a: A) => I, B, C], [D], [E]>, J, K], [L], [M]>) => $<U, [$<V, [I, B, C], [D], [E]>, J, K], [L], [M]>;
§
apply<U extends Kind, V extends Kind>(U: Applicable<U>, V: Applicable<V>): <A, B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(uva: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => <I>(uvfai: $<U, [$<V, [(a: A) => I, B, C], [D], [E]>, J, K], [L], [M]>) => $<U, [$<V, [I, B, C], [D], [E]>, J, K], [L], [M]>
[src]

§Type Parameters

§
U extends Kind
[src]
§
V extends Kind
[src]

§Return Type

§
<A, B = never, C = never, D = unknown, E = unknown, J = never, K = never, L = unknown, M = unknown>(uva: $<U, [$<V, [A, B, C], [D], [E]>, J, K], [L], [M]>) => <I>(uvfai: $<U, [$<V, [(a: A) => I, B, C], [D], [E]>, J, K], [L], [M]>) => $<U, [$<V, [I, B, C], [D], [E]>, J, K], [L], [M]>
[src]