/**
 * 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 "./_dnt.polyfills.js";
import type { $, Hold, Kind } from "./kind.js";
import type { Combinable } from "./combinable.js";
import type { Mappable } from "./mappable.js";
import type { Wrappable } from "./wrappable.js";
/**
 * 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 declare 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]>>;
/**
 * Compose two Applicables into a new apply function.
 *
 * @since 2.0.0
 */
export declare 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]>;
/**
 * @since 2.0.0
 */
export declare 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]>;
/**
 * @since 2.0.0
 */
export declare 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]>;