import { Schema } from "@fncts/schema/Schema/definition";
import { Maybe } from "@fncts/base/data/Maybe/definition";
import { Parser } from "@fncts/schema/Parser/definition";
import type { Check } from "@fncts/typelevel";
/**
 * @tsplus static fncts.schema.SchemaOps maybe
 * @tsplus getter fncts.schema.Schema maybe
 * @tsplus location "@fncts/schema/Schema/api/maybe"
 */
export declare function maybe<A>(value: Schema<A>): Schema<Maybe<A>>;
/**
 * @tsplus static fncts.schema.SchemaOps maybeFromNullable
 * @tsplus getter fncts.schema.Schema maybeFromNullable
 * @tsplus location "@fncts/schema/Schema/api/maybe"
 */
export declare function maybeFromNullable<A>(value: Schema<A>): Schema<Maybe<A>>;
/**
 * @tsplus derive fncts.schema.Schema[fncts.Maybe]<_> 10
 * @tsplus location "@fncts/schema/Schema/api/maybe"
 */
export declare function deriveMaybe<A extends Maybe<any>>(...[value]: [A] extends [Maybe<infer _A>] ? Check<Check.IsEqual<A, Maybe<_A>>> extends Check.True ? [value: Schema<_A>] : never : never): Schema<A>;