import { Refinement } from "@tsplus/stdlib/data/Function";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
import { Predicate } from "@tsplus/stdlib/data/Predicate";
/**
 * Returns a smart constructor based on the given predicate.
 * @tsplus static Maybe.Ops fromPredicate
 * @tsplus location "@tsplus/stdlib/data/Maybe/fromPredicate"
 */
export declare function fromPredicate<A, B extends A>(a: A, refinement: Refinement<A, B>): Maybe<B>;
export declare function fromPredicate<A>(a: A, predicate: Predicate<A>): Maybe<A>;
//# sourceMappingURL=fromPredicate.d.ts.map