import type { Applicative, Monad } from "@principia/prelude";
import type * as HKT from "@principia/prelude/HKT";
import type { Forest, Tree } from "./model";
export declare const make: <A>(value: A, forest: Forest<A>) => Tree<A>;
/**
 * Build a tree from a seed value
 *
 * @category constructors
 * @since 1.0.0
 */
export declare function unfoldTree<A, B>(b: B, f: (b: B) => [A, Array<B>]): Tree<A>;
/**
 * Build a tree from a seed value
 *
 * @category constructors
 * @since 1.0.0
 */
export declare function unfoldForest<A, B>(bs: Array<B>, f: (b: B) => [A, Array<B>]): Forest<A>;
export declare function unfoldTreeM<M extends HKT.URIS, C = HKT.Auto>(
   M: Applicative<M, C> & Monad<M, C>
): <N extends string, K, Q, W, X, I, S, R, E, A, B>(
   b: B,
   f: (b: B) => HKT.Kind<M, C, N, K, Q, W, X, I, S, R, E, readonly [A, ReadonlyArray<B>]>
) => HKT.Kind<M, C, N, K, Q, W, X, I, S, R, E, Tree<A>>;
export declare function unfoldForestM<M extends HKT.URIS, C = HKT.Auto>(
   M: Applicative<M, C> & Monad<M, C>
): <N extends string, K, Q, W, X, I, S, R, E, A, B>(
   bs: ReadonlyArray<B>,
   f: (b: B) => HKT.Kind<M, C, N, K, Q, W, X, I, S, R, E, readonly [A, ReadonlyArray<B>]>
) => HKT.Kind<M, C, N, K, Q, W, X, I, S, R, E, Forest<A>>;
//# sourceMappingURL=constructors.d.ts.map