/**
 * This file contains the Datum  algebraic data type. Datum represents an
 * optional value that has an additional notation for a pending state.
 *
 * @module Datum
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { $, Kind, Out } from "./kind.js";
import type { Applicable } from "./applicable.js";
import type { Combinable } from "./combinable.js";
import type { Filterable } from "./filterable.js";
import type { Mappable } from "./mappable.js";
import type { Wrappable } from "./wrappable.js";
import type { Comparable } from "./comparable.js";
import type { Either } from "./either.js";
import type { Flatmappable } from "./flatmappable.js";
import type { Initializable } from "./initializable.js";
import type { Option } from "./option.js";
import type { Pair } from "./pair.js";
import type { Predicate } from "./predicate.js";
import type { Refinement } from "./refinement.js";
import type { Showable } from "./showable.js";
import type { Sortable } from "./sortable.js";
import type { Traversable } from "./traversable.js";
/**
 * @since 2.0.0
 */
export type Initial = {
    readonly tag: "Initial";
};
/**
 * @since 2.0.0
 */
export type Pending = {
    readonly tag: "Pending";
};
/**
 * @since 2.0.0
 */
export type Refresh<A> = {
    readonly tag: "Refresh";
    readonly value: A;
};
/**
 * @since 2.0.0
 */
export type Replete<A> = {
    readonly tag: "Replete";
    readonly value: A;
};
/**
 * @since 2.0.0
 */
export type Datum<A> = Initial | Pending | Refresh<A> | Replete<A>;
/**
 * @since 2.0.0
 */
export type None = Initial | Pending;
/**
 * @since 2.0.0
 */
export type Some<A> = Refresh<A> | Replete<A>;
/**
 * @since 2.0.0
 */
export type Loading<A> = Pending | Refresh<A>;
/**
 * @since 2.0.0
 */
export interface KindDatum extends Kind {
    readonly kind: Datum<Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export declare const initial: Initial;
/**
 * @since 2.0.0
 */
export declare const pending: Pending;
/**
 * @since 2.0.0
 */
export declare function refresh<D>(value: D): Datum<D>;
/**
 * @since 2.0.0
 */
export declare function replete<D>(value: D): Datum<D>;
/**
 * @since 2.0.0
 */
export declare function constInitial<A = never>(): Datum<A>;
/**
 * @since 2.0.0
 */
export declare function constPending<A = never>(): Datum<A>;
/**
 * @since 2.0.0
 */
export declare function fromNullable<A>(a: A): Datum<NonNullable<A>>;
/**
 * @since 2.0.0
 */
export declare function tryCatch<AS extends unknown[], A>(fasr: (...as: AS) => A): (...as: AS) => Datum<A>;
/**
 * @since 2.0.0
 */
export declare function toLoading<A>(ta: Datum<A>): Datum<A>;
/**
 * @since 2.0.0
 */
export declare function isInitial<A>(ta: Datum<A>): ta is Initial;
/**
 * @since 2.0.0
 */
export declare function isPending<A>(ta: Datum<A>): ta is Pending;
/**
 * @since 2.0.0
 */
export declare function isRefresh<A>(ta: Datum<A>): ta is Refresh<A>;
/**
 * @since 2.0.0
 */
export declare function isReplete<A>(ta: Datum<A>): ta is Replete<A>;
/**
 * @since 2.0.0
 */
export declare function isNone<A>(ta: Datum<A>): ta is None;
/**
 * @since 2.0.0
 */
export declare function isSome<A>(ta: Datum<A>): ta is Some<A>;
/**
 * @since 2.0.0
 */
export declare function isLoading<A>(ta: Datum<A>): ta is Loading<A>;
/**
 * @since 2.0.0
 */
export declare function match<A, B>(onInitial: () => B, onPending: () => B, onReplete: (a: A) => B, onRefresh: (a: A) => B): (ma: Datum<A>) => B;
/**
 * @since 2.0.0
 */
export declare function getOrElse<A>(onNone: () => A): (ma: Datum<A>) => A;
/**
 * @since 2.0.0
 */
export declare function wrap<A>(a: A): Datum<A>;
/**
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): (ta: Datum<A>) => Datum<I>;
/**
 * @since 2.0.0
 */
export declare function apply<A>(ua: Datum<A>): <I>(ufai: Datum<(a: A) => I>) => Datum<I>;
/**
 * @since 2.0.0
 */
export declare function flatmap<A, I>(fati: (a: A) => Datum<I>): (ta: Datum<A>) => Datum<I>;
/**
 * @since 2.0.0
 */
export declare function alt<A>(tb: Datum<A>): (ta: Datum<A>) => Datum<A>;
/**
 * @since 2.0.0
 */
export declare function fold<A, O>(foao: (o: O, a: A) => O, o: O): (ta: Datum<A>) => O;
/**
 * @since 2.0.0
 */
export declare function exists<A>(predicate: Predicate<A>): (ua: Datum<A>) => boolean;
/**
 * @since 2.0.0
 */
export declare function filter<A, B extends A>(refinement: Refinement<A, B>): (ta: Datum<A>) => Datum<B>;
export declare function filter<A>(predicate: Predicate<A>): (ta: Datum<A>) => Datum<A>;
/**
 * @since 2.0.0
 */
export declare function filterMap<A, I>(fai: (a: A) => Option<I>): (ua: Datum<A>) => Datum<I>;
/**
 * @since 2.0.0
 */
export declare function partition<A, B extends A>(refinement: Refinement<A, B>): (ua: Datum<A>) => Pair<Datum<B>, Datum<A>>;
export declare function partition<A>(predicate: Predicate<A>): (ua: Datum<A>) => Pair<Datum<A>, Datum<A>>;
/**
 * @since 2.0.0
 */
export declare function partitionMap<A, I, J>(fai: (a: A) => Either<J, I>): (ua: Datum<A>) => Pair<Datum<I>, Datum<J>>;
/**
 * @since 2.0.0
 */
export declare function traverse<V extends Kind>(A: Applicable<V>): <A, I, J, K, L, M>(favi: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Datum<A>) => $<V, [Datum<I>, J, K], [L], [M]>;
/**
 * @since 2.0.0
 */
export declare function getShowableDatum<A>({ show }: Showable<A>): Showable<Datum<A>>;
/**
 * @since 2.0.0
 */
export declare function getCombinableDatum<A>(S: Combinable<A>): Combinable<Datum<A>>;
/**
 * @since 2.0.0
 */
export declare function getInitializableDatum<A>(S: Initializable<A>): Initializable<Datum<A>>;
/**
 * @since 2.0.0
 */
export declare function getComparableDatum<A>(S: Comparable<A>): Comparable<Datum<A>>;
/**
 * @since 2.0.0
 */
export declare function getSortableDatum<A>(O: Sortable<A>): Sortable<Datum<A>>;
/**
 * @since 2.0.0
 */
export declare const ApplicableDatum: Applicable<KindDatum>;
/**
 * @since 2.0.0
 */
export declare const MappableDatum: Mappable<KindDatum>;
/**
 * @since 2.0.0
 */
export declare const FlatmappableDatum: Flatmappable<KindDatum>;
/**
 * @since 2.0.0
 */
export declare const TraversableDatum: Traversable<KindDatum>;
/**
 * @since 2.0.0
 */
export declare const WrappableDatum: Wrappable<KindDatum>;
/**
 * @since 2.0.0
 */
export declare const FilterableDatum: Filterable<KindDatum>;
/**
 * @since 2.0.0
 */
export declare const tap: <A>(fn: (value: A) => void) => <B = never, C = never, D = unknown, E = unknown>(ua: Datum<A>) => Datum<A>;
/**
 * @since 2.0.0
 */
export declare const bind: <N extends string, A, I, J = never, K = never, L = unknown, M = unknown>(name: Exclude<N, keyof A>, faui: (a: A) => Datum<I>) => <B = never, C = never, D extends L = L>(ua: Datum<A>) => Datum<{ readonly [K_1 in N | keyof A]: K_1 extends keyof A ? A[K_1] : I; }>;
/**
 * @since 2.0.0
 */
export declare const bindTo: <N extends string>(name: N) => <A, B = never, C = never, D = unknown, E = unknown>(ua: Datum<A>) => Datum<{ readonly [K in N]: A; }>;