import type * as Equivalence from "effect/Equivalence";
import * as Option from "effect/Option";
import type * as Order from "effect/Order";
import { type Set } from "./Set.js";
export interface NonEmptyBrand {
    readonly NonEmpty: unique symbol;
}
export type NonEmptySet<A> = Set<A> & NonEmptyBrand;
declare class Wrapper<A> {
    wrapped(ord: Order.Order<A>, eq?: Equivalence.Equivalence<A>): {
        insert: (a: A) => (set: NonEmptySet<A>) => NonEmptySet<A>;
        insert_: (set: NonEmptySet<A>, a: A) => NonEmptySet<A>;
        remove: (a: A) => (set: Set<A>) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        remove_: (set: Set<A>, a: A) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        reduce: <B>(b: B, f: (b: B, a: A) => B) => (fa: Set<A>) => B;
        reduce_: <B>(fa: Set<A>, b: B, f: (b: B, a: A) => B) => B;
        replace: (a: A) => (set: NonEmptySet<A>) => NonEmptySet<A>;
        replace_: (set: NonEmptySet<A>, a: A) => NonEmptySet<A>;
        toArray: (s: NonEmptySet<A>) => readonly [A, ...A[]];
        fromArray: (as: readonly A[]) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        fromNonEmptyArray: (arr: readonly [A, ...A[]]) => NonEmptySet<A>;
        from: (it: Iterable<A>) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        of: (a: A) => NonEmptySet<A>;
        concat_: (set: NonEmptySet<A>, it: Iterable<A>) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        concat: (it: Iterable<A>) => (set: NonEmptySet<A>) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        map: <A_1>(f: (x: A_1) => A_1) => (set: NonEmptySet<A_1>) => NonEmptySet<A_1>;
        map_: <A_1>(set: NonEmptySet<A_1>, f: (x: A_1) => A_1) => NonEmptySet<A_1>;
        filterMap: (f: (a: A) => Option.Option<A>) => (fa: Set<A>) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
        filterMap_: <A_1>(fa: Set<A_1>, f: (a: A_1) => Option.Option<A>) => Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
    };
}
export interface NonEmptySetSchemaExtensions<A> extends ReturnType<Wrapper<A>["wrapped"]> {
}
export declare const make: <A>(ord: Order.Order<A>, eq?: Equivalence.Equivalence<A>) => NonEmptySetSchemaExtensions<A>;
export declare function fromSet<A>(set: Set<A>): Option.None<NonEmptySet<A>> | Option.Some<NonEmptySet<A>>;
export * from "./Set.js";
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiTm9uRW1wdHlTZXQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ob25FbXB0eVNldC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssS0FBSyxXQUFXLE1BQU0sb0JBQW9CLENBQUE7QUFDdEQsT0FBTyxLQUFLLE1BQU0sTUFBTSxlQUFlLENBQUE7QUFDdkMsT0FBTyxLQUFLLEtBQUssS0FBSyxNQUFNLGNBQWMsQ0FBQTtBQUUxQyxPQUFPLEVBQXFLLEtBQUssR0FBRyxFQUE4QixNQUFNLFVBQVUsQ0FBQTtBQUVsTyxNQUFNLFdBQVcsYUFBYTtJQUM1QixRQUFRLENBQUMsUUFBUSxFQUFFLE9BQU8sTUFBTSxDQUFBO0NBQ2pDO0FBRUQsTUFBTSxNQUFNLFdBQVcsQ0FBQyxDQUFDLElBQUksR0FBRyxDQUFDLENBQUMsQ0FBQyxHQUFHLGFBQWEsQ0FBQTtBQTBEbkQsY0FBTSxPQUFPLENBQUMsQ0FBQztJQUNiLE9BQU8sQ0FBQyxHQUFHLEVBQUUsS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsRUFBRSxXQUFXLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7TUFFM0Q7Q0FDRjtBQUVELE1BQU0sV0FBVywyQkFBMkIsQ0FBQyxDQUFDLENBQUUsU0FBUSxVQUFVLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDO0NBQUc7QUFFNUYsZUFBTyxNQUFNLElBQUksRUFBRSxDQUFDLENBQUMsRUFDbkIsR0FBRyxFQUFFLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQ25CLEVBQUUsQ0FBQyxFQUFFLFdBQVcsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLEtBQzVCLDJCQUEyQixDQUFDLENBQUMsQ0FBUyxDQUFBO0FBRTNDLHdCQUFnQixPQUFPLENBQUMsQ0FBQyxFQUFFLEdBQUcsRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDLDZEQU1yQztBQUdELGNBQWMsVUFBVSxDQUFBIn0=