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