import { Schema } from "@fncts/schema/Schema/definition";
import { Either } from "@fncts/base/data/Either/definition";
import { Check } from "@fncts/typelevel";
import { Parser } from "@fncts/schema/Parser/definition";
/**
 * @tsplus static fncts.schema.SchemaOps either
 * @tsplus location "@fncts/schema/Schema/api/either"
 */
export declare function either<E, A>(left: Schema<E>, right: Schema<A>): Schema<Either<E, A>>;
/**
 * @tsplus static fncts.schema.SchemaOps eitherFromJson
 * @tsplus location "@fncts/schema/Schema/api/either"
 */
export declare function eitherFromJson<E, A>(left: Schema<E>, right: Schema<A>): Schema<Either<E, A>>;
/**
 * @tsplus derive fncts.schema.Schema[fncts.Either]<_> 10
 * @tsplus location "@fncts/schema/Schema/api/either"
 */
export declare function deriveEither<A extends Either<any, any>>(...[left, right]: [A] extends [Either<infer _E, infer _A>] ? Check<Check.IsEqual<A, Either<_E, _A>>> extends Check.True ? [left: Schema<_E>, right: Schema<_A>] : never : never): Schema<A>;