import { Fn, PartialApply, unset, _ } from "../core/Core";
import * as Impl from "./impl/match";
/**
 * Match creates a pattern matching expression.
 * Pattern matching let you execute different
 * branches of code based on the structure
 * of the input type exdestructure the input type, and execute
 *
 * @param input - the input to pattern match on
 * @param withClauses - list of with clauses representing different branches if code
 *
 * @example
 * ```ts
 * type Test<T> = Match<T, [
 *   With<{ msg: Match.arg0 }, S.Prepend<"Message: ">>,
 *   With<string, S.Append<": string">>,
 *   With<any, F.Constant<"default value">>
 * ]>
 * ```
 */
export type Match<valueOrWithClauses = unset, withClauses extends Impl.With<any, any>[] | unset | _ = unset> = PartialApply<MatchFn, withClauses extends unset ? [unset, valueOrWithClauses] : [valueOrWithClauses, withClauses]>;
interface MatchFn extends Fn {
    return: Impl.Match<this["arg0"], this["arg1"]>;
}
export declare namespace Match {
    type With<pattern, handler> = Impl.With<pattern, handler>;
}
export {};