/**
 * This file contains a collection of utilities and algebraic structure
 * implementations for Tree.
 *
 * @module Tree
 * @since 2.0.0
 */
import "./_dnt.polyfills.js";
import type { $, Kind, Out } from "./kind.js";
import type { Applicable } from "./applicable.js";
import type { Comparable } from "./comparable.js";
import type { Flatmappable } from "./flatmappable.js";
import type { Foldable } from "./foldable.js";
import type { Mappable } from "./mappable.js";
import type { Showable } from "./showable.js";
import type { Traversable } from "./traversable.js";
import type { Wrappable } from "./wrappable.js";
/**
 * A Forest is an array of Trees.
 *
 * @since 2.0.0
 */
export type Forest<A> = ReadonlyArray<Tree<A>>;
/**
 * A Tree is a node with a single value and a Forest of children.
 *
 * @since 2.0.0
 */
export type Tree<A> = {
    readonly value: A;
    readonly forest: Forest<A>;
};
/**
 * AnyTree is useful as an extends constraint on a generic type.
 *
 * @since 2.0.0
 */
export type AnyTree = Tree<any>;
/**
 * TypeOf is a type extractor that returns the inner type A of a Tree<A>.
 *
 * @since 2.0.0
 */
export type TypeOf<T> = T extends Tree<infer A> ? A : never;
/**
 * KindTree is the Kind implementation for a Tree.
 *
 * @since 2.0.0
 */
export interface KindTree extends Kind {
    readonly kind: Tree<Out<this, 0>>;
}
/**
 * This is a constructor function, taking a single value A and optionally an
 * array of Tree<A> and returning a Tree<A>.
 *
 * @since 2.0.0
 */
export declare function tree<A>(value: A, forest?: Forest<A>): Tree<A>;
/**
 * The wrap function for Wrappable<KindTree>.
 *
 * @since 2.0.0
 */
export declare function wrap<A>(value: A, forest?: Forest<A>): Tree<A>;
/**
 * The map function for Mappable<KindTree>.
 *
 * @since 2.0.0
 */
export declare function map<A, I>(fai: (a: A) => I): (ta: Tree<A>) => Tree<I>;
/**
 * The flatmap function for Flatmappable<KindTree>.
 *
 * @since 2.0.0
 */
export declare function flatmap<A, I>(fati: (a: A) => Tree<I>): (ta: Tree<A>) => Tree<I>;
/**
 * The apply function for Applicable<KindTree>.
 *
 * @since 2.0.0
 */
export declare function apply<A>(ua: Tree<A>): <I>(tfai: Tree<(a: A) => I>) => Tree<I>;
/**
 * The fold function for Foldable<KindTree>.
 *
 * @since 2.0.0
 */
export declare function fold<A, O>(foao: (o: O, a: A) => O, o: O): (ta: Tree<A>) => O;
/**
 * The traverse function for Traversable<KindTree>.
 *
 * @since 2.0.0
 */
export declare function traverse<V extends Kind>(V: Applicable<V>): <A, I, J = never, K = never, L = unknown, M = unknown>(favi: (a: A) => $<V, [I, J, K], [L], [M]>) => (ta: Tree<A>) => $<V, [Tree<I>, J, K], [L], [M]>;
/**
 * The unwrap function for Unwrappable<KindTree>
 *
 * @since 2.0.0
 */
export declare function unwrap<A>({ value }: Tree<A>): A;
/**
 * Converts a Forest<string> into a tree representation.
 *
 * @since 2.0.0
 */
export declare function drawForest(forest: Forest<string>): string;
/**
 * Converts a Tree<string> into a tree representation.
 *
 * @since 2.0.0
 */
export declare function drawTree(tree: Tree<string>): string;
/**
 * The match function is a recursive fold that collapses a Tree<A> into a single
 * value I. It does this from the head of the Tree first.
 *
 * @since 2.0.0
 */
export declare function match<A, I>(fai: (a: A, is: Array<I>) => I): (ta: Tree<A>) => I;
/**
 * Create an instance of Comparable<Tree<A>> from an instance of Comparable<A>.
 *
 * @since 2.0.0
 */
export declare function getComparableTree<A>({ compare }: Comparable<A>): Comparable<Tree<A>>;
/**
 * Get an instance of Showable<Tree<A>> from an instance of Showable<A>.
 *
 * @since 2.0.0
 */
export declare function getShowable<A>({ show }: Showable<A>): Showable<Tree<A>>;
/**
 * @since 2.0.0
 */
export declare const ApplicableTree: Applicable<KindTree>;
/**
 * @since 2.0.0
 */
export declare const FlatmappableTree: Flatmappable<KindTree>;
/**
 * @since 2.0.0
 */
export declare const FoldableTree: Foldable<KindTree>;
/**
 * @since 2.0.0
 */
export declare const MappableTree: Mappable<KindTree>;
/**
 * @since 2.0.0
 */
export declare const TraversableTree: Traversable<KindTree>;
/**
 * @since 2.0.0
 */
export declare const WrappableTree: Wrappable<KindTree>;
/**
 * @since 2.0.0
 */
export declare const tap: <A>(fn: (value: A) => void) => <B = never, C = never, D = unknown, E = unknown>(ua: Tree<A>) => Tree<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) => Tree<I>) => <B = never, C = never, D extends L = L>(ua: Tree<A>) => Tree<{ 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: Tree<A>) => Tree<{ readonly [K in N]: A; }>;