/**
 * This file contains the Sync algebraic data type. Sync is an lazy function
 * that takes no inputs. In other functional languages and runtimes sync is
 * referred to as IO.
 *
 * @module Sync
 * @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 { Flatmappable } from "./flatmappable.js";
import type { Initializable } from "./initializable.js";
import type { Mappable } from "./mappable.js";
import type { Foldable } from "./foldable.js";
import type { Traversable } from "./traversable.js";
import type { Wrappable } from "./wrappable.js";
/**
 * @since 2.0.0
 */
export type Sync<A> = () => A;
/**
 * @since 2.0.0
 */
export interface KindSync extends Kind {
    readonly kind: Sync<Out<this, 0>>;
}
/**
 * @since 2.0.0
 */
export declare function wrap<A>(a: A): Sync<A>;
/**
 * @since 2.0.0
 */
export declare function apply<A>(ua: Sync<A>): <I>(ta: Sync<(a: A) => I>) => Sync<I>;
/**
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): (ta: Sync<A>) => Sync<I>;
/**
 * @since 2.0.0
 */
export declare function flatmap<A, I>(fati: (a: A) => Sync<I>): (ta: Sync<A>) => Sync<I>;
/**
 * @since 2.0.0
 */
export declare function fold<A, O>(foao: (o: O, a: A) => O, o: O): (ta: Sync<A>) => O;
/**
 * @since 2.0.0
 */
export declare function traverse<V extends Kind>(A: Applicable<V> & Mappable<V>): <A, I, J, K, L, M>(faui: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Sync<A>) => $<V, [Sync<I>, J, K], [L], [M]>;
/**
 * @since 2.0.0
 */
export declare function getCombinableSync<A>({ combine }: Combinable<A>): Combinable<Sync<A>>;
/**
 * @since 2.0.0
 */
export declare function getInitializableSync<A>(I: Initializable<A>): Initializable<Sync<A>>;
/**
 * @since 2.0.0
 */
export declare const ApplicableSync: Applicable<KindSync>;
/**
 * @since 2.0.0
 */
export declare const FlatmappableSync: Flatmappable<KindSync>;
/**
 * @since 2.0.0
 */
export declare const FoldableSync: Foldable<KindSync>;
/**
 * @since 2.0.0
 */
export declare const MappableSync: Mappable<KindSync>;
/**
 * @since 2.0.0
 */
export declare const TraversableSync: Traversable<KindSync>;
/**
 * @since 2.0.0
 */
export declare const WrappableSync: Wrappable<KindSync>;
/**
 * @since 2.0.0
 */
export declare const tap: <A>(fn: (value: A) => void) => <B = never, C = never, D = unknown, E = unknown>(ua: Sync<A>) => Sync<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) => Sync<I>) => <B = never, C = never, D extends L = L>(ua: Sync<A>) => Sync<{ 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: Sync<A>) => Sync<{ readonly [K in N]: A; }>;