import type * as P from "@principia/prelude";
import type { NonEmptyArray, URI, V } from "./model";
/**
 * ```haskell
 * extend_ :: Extend w => (w a, (w a -> b)) -> w b
 * ```
 *
 * @category Extend
 * @since 1.0.0
 */
export declare const extend_: <A, B>(wa: NonEmptyArray<A>, f: (wa: NonEmptyArray<A>) => B) => NonEmptyArray<B>;
/**
 * ```haskell
 * extend :: Extend w => (w a -> b) -> w a -> w b
 * ```
 *
 * @category Extend
 * @since 1.0.0
 */
export declare const extend: <A, B>(f: (wa: NonEmptyArray<A>) => B) => (wa: NonEmptyArray<A>) => NonEmptyArray<B>;
/**
 * ```haskell
 * duplicate :: Extend w => w a -> w (w a)
 * ```
 *
 * @category Extend
 * @since 1.0.0
 */
export declare const duplicate: <A>(wa: NonEmptyArray<A>) => NonEmptyArray<NonEmptyArray<A>>;
export declare const Extend: P.Extend<[URI], V>;
//# sourceMappingURL=extend.d.ts.map