123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125
/** * Applicable is a structure that allows a function to be applied inside of the * associated concrete structure. For example, `Option` may hold a value of * `(a: A) => B` inside of it. An Applicable for Option would allow one to * apply the `A` in an `Option<A>` to the function `(a: A) => B` in an * `Option<(a: A) => B>`, resulting in an `Option<B>`. * * @module Applicable * @since 2.0.0 */
import type { $, Hold, Kind } from "./kind.ts";import type { Combinable } from "./combinable.ts";import type { Mappable } from "./mappable.ts";import type { Wrappable } from "./wrappable.ts";
/** * The Applicable interface. This interface includes the methods apply, map, and * wrap. * * @since 2.0.0 */export interface Applicable<U extends Kind>  extends Mappable<U>, Wrappable<U>, Hold<U> {  readonly apply: <A, B = never, C = never, D = unknown, E = unknown>(    ta: $<U, [A, B, C], [D], [E]>,  ) => <I, J = never, K = never>(    tfai: $<U, [(value: A) => I, J, K], [D], [E]>,  ) => $<U, [I, B | J, C | K], [D], [E]>;}
/** * @since 2.0.0 */export function getApplicableCombinable<U extends Kind>(  { apply, map }: Applicable<U>,): <A, B = never, C = never, D = unknown, E = unknown>(  combinable: Combinable<A>,) => Combinable<$<U, [A, B, C], [D], [E]>> {  return <A, B = never, C = never, D = unknown, E = unknown>(    { combine }: Combinable<A>,  ): Combinable<$<U, [A, B, C], [D], [E]>> => {    const _map = map(combine);    return {      combine: (second) => (first) => apply(first)(_map(second)),    };  };}
/** * Compose two Applicables into a new apply function. * * @since 2.0.0 */export 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]> {  return <    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]> => {    return U.apply(uva)(      U.map(        (vfai: $<V, [(a: A) => I, B, C], [D], [E]>) =>        (va: $<V, [A, B, C], [D], [E]>) => V.apply(va)(vfai),      )(uvfai),    );  };}
/** * @since 2.0.0 */export function applyFirst<U extends Kind>(  U: Applicable<U>,): <I, B = never, C = never, D = unknown, E = unknown>(  second: $<U, [I, B, C], [D], [E]>,) => <A>(first: $<U, [A, B, C], [D], [E]>) => $<U, [A, B, C], [D], [E]> {  return <I, B = never, C = never, D = unknown, E = unknown>(    second: $<U, [I, B, C], [D], [E]>,  ) =>  <A>(first: $<U, [A, B, C], [D], [E]>): $<U, [A, B, C], [D], [E]> =>    U.apply(second)(U.map((a: A) => (_: I) => a)(first));}
/** * @since 2.0.0 */export function applySecond<U extends Kind>(  U: Applicable<U>,): <I, B = never, C = never, D = unknown, E = unknown>(  second: $<U, [I, B, C], [D], [E]>,) => <A>(first: $<U, [A, B, C], [D], [E]>) => $<U, [I, B, C], [D], [E]> {  return <I, B = never, C = never, D = unknown, E = unknown>(    second: $<U, [I, B, C], [D], [E]>,  ) =>  <A>(first: $<U, [A, B, C], [D], [E]>): $<U, [I, B, C], [D], [E]> =>    U.apply(second)(U.map(() => (i: I) => i)(first));}