import { Refinement } from "@fp-ts/data/Predicate";
import { Opt } from "@effect-ts-app/core/Option";
import { InvalidStateError } from "../client.js";
/**
 * @tsplus getter function asCollectable
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/refinements"
 */
export declare function asCollectable<T, T2 extends T>(refinement: Refinement<T, T2>): (c: T) => import("@fp-ts/data/Option").Option<T2>;
/**
 * @tsplus fluent function as
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/refinements"
 */
export declare function as<T, T2 extends T>(refinement: Refinement<T, T2>, name: string): (c: T) => import("@fp-ts/data/Either").Either<InvalidStateError, T2>;
/**
 * @tsplus fluent function refinements
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/refinements"
 */
export declare function makeAwesome<T, T2 extends T>(refinement: Refinement<T, T2>, name: string): {
    $item: (item: T) => {
        readonly collect: import("@fp-ts/data/Option").Option<T2>;
        readonly as: import("@fp-ts/data/Either").Either<InvalidStateError, T2>;
        readonly asEffect: import("@effect/io/Effect").Effect<never, InvalidStateError, T2>;
    };
    is: import("@fp-ts/data/Predicate").Refinement<T, T2>;
    collect: (c: T) => import("@fp-ts/data/Option").Option<T2>;
    as: (c: T) => import("@fp-ts/data/Either").Either<InvalidStateError, T2>;
    asEffect: (c: T) => import("@effect/io/Effect").Effect<never, InvalidStateError, T2>;
    lens: import("@effect-ts/monocle/Internal").Lens<T2, T2>;
};
export interface Collect<A, B extends A> {
    (a: A): Opt<B>;
}
/**
 * @tsplus fluent function as
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/refinements"
 */
export declare function asOpt<T, T2 extends T>(collect: Collect<T, T2>, name: string): (a: T) => import("@fp-ts/data/Either").Either<InvalidStateError, T2>;
/**
 * @tsplus fluent function refinements
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/refinements"
 */
export declare function makeAwesomeCollect<T, T2 extends T>(collect: Collect<T, T2>, name: string): {
    $item: (item: T) => {
        readonly collect: import("@fp-ts/data/Option").Option<T2>;
        readonly as: import("@fp-ts/data/Either").Either<InvalidStateError, T2>;
        readonly asEffect: import("@effect/io/Effect").Effect<never, InvalidStateError, T2>;
    };
    collect: Collect<T, T2>;
    is: (item: T) => item is T2;
    as: (a: T) => import("@fp-ts/data/Either").Either<InvalidStateError, T2>;
    asEffect: (a: T) => import("@effect/io/Effect").Effect<never, InvalidStateError, T2>;
    lens: import("@effect-ts/monocle/Internal").Lens<T2, T2>;
};
export type GetCollectedType<T> = T extends {
    collect: Collect<any, infer U>;
} ? U : never;
//# sourceMappingURL=refinements.d.ts.map