import { BaseDist } from "../dists/BaseDist.js";
import { FnInput } from "../reducer/lambda/FnInput.js";
import { Lambda } from "../reducer/lambda/index.js";
import { DictShape } from "../types/TDict.js";
import { Type } from "../types/Type.js";
import { ImmutableMap } from "../utility/immutable.js";
import { Value } from "../value/index.js";
import { ValueTags } from "../value/valueTags.js";
export type FrType<T = unknown> = {
    type: Type;
    unpack: (value: Value) => T | undefined;
    pack: (value: T) => Value;
};
export type UnwrapFrType<T extends FrType<any>> = Exclude<ReturnType<T["unpack"]>, undefined>;
export declare const frNumber: FrType<number>;
export declare const frString: FrType<string>;
export declare const frBool: FrType<boolean>;
export declare const frDuration: FrType<import("../index.js").SDuration>;
export declare const frDate: FrType<import("../index.js").SDate>;
export declare const frCalculator: FrType<import("../value/VCalculator.js").Calculator>;
export declare const frLambda: FrType<Lambda>;
export declare const frFormInput: FrType<import("../value/VInput.js").FormInput>;
export declare const frTableChart: FrType<import("../value/VTableChart.js").TableChart>;
export declare const frSpecification: FrType<import("../value/VSpecification.js").Specification>;
export declare const frPlot: FrType<import("../value/VPlot.js").Plot>;
export declare const frScale: FrType<import("../value/VScale.js").Scale>;
export declare const frDomain: FrType<Type>;
export declare function frArray<T>(itemType: FrType<T>): FrType<readonly T[]>;
export declare function frAny(params?: {
    genericName?: string;
}): FrType<Value>;
export declare function frDictWithArbitraryKeys<T>(itemType: FrType<T>): FrType<ImmutableMap<string, T>>;
export declare const frDist: FrType<BaseDist>;
export declare const frPointSetDist: FrType<import("../dists/PointSetDist.js").PointSetDist>;
export declare const frSampleSetDist: FrType<import("../dists/SampleSetDist/index.js").SampleSetDist>;
export declare const frSymbolicDist: FrType<import("../dists/SymbolicDist/index.js").SymbolicDist>;
type OrType<T1, T2> = {
    tag: "1";
    value: T1;
} | {
    tag: "2";
    value: T2;
};
export declare function frOr<T1, T2>(type1: FrType<T1>, type2: FrType<T2>): FrType<OrType<T1, T2>>;
export declare const frDistOrNumber: FrType<BaseDist | number>;
export declare function frTuple<T extends readonly FrType<any>[]>(...types: T): FrType<{
    [K in keyof T]: UnwrapFrType<T[K]>;
}>;
export type DetailedFrDictShapeEntry<V extends FrType<any>> = Partial<Omit<DictShape[string], "type">> & {
    type: V;
};
type FrDictShapeEntry<V extends FrType<any>> = DetailedFrDictShapeEntry<V> | V;
type BaseFrDictShape = Record<string, FrDictShapeEntry<FrType<any>>>;
type UnwrapFrDictShape<T extends BaseFrDictShape> = {
    [Key in keyof T]: T[Key] extends FrType<any> ? UnwrapFrType<T[Key]> : T[Key] extends DetailedFrDictShapeEntry<infer F> ? T[Key]["optional"] extends true ? UnwrapFrType<F> | null : UnwrapFrType<F> : never;
};
export declare function frDict<const Shape extends BaseFrDictShape>(shape: Shape): FrType<UnwrapFrDictShape<Shape>>;
export declare const frMixedSet: FrType<UnwrapFrDictShape<{
    readonly points: FrType<readonly number[]>;
    readonly segments: FrType<readonly [number, number][]>;
}>>;
export declare function frTypedLambda(maybeInputs: (FnInput | Type)[], output: Type): FrType<Lambda>;
export declare function frLambdaNand(paramLengths: number[]): FrType<Lambda>;
export declare function frTagged<T>(type: FrType<T>): FrType<{
    value: T;
    tags: ValueTags;
}>;
export {};
//# sourceMappingURL=FrType.d.ts.map