import { Transcoder } from './types.mjs';
import '@stacks/transactions';

type MapEntryDescriptor = {
    mode: "mapEntry";
    input: Transcoder<any>;
    output: Transcoder<any>;
};
type VariableDescriptor = {
    mode: "variable";
    input: Transcoder<void>;
    output: Transcoder<any>;
};
type ReadonlyFunctionDescriptor = {
    mode: "readonly";
    input: readonly {
        name: string;
        type: Transcoder<any>;
    }[];
    output: Transcoder<any>;
};
type OpenCallFunctionDescriptor = {
    mode: "public";
    input: readonly {
        name: string;
        type: Transcoder<any>;
    }[];
    output: Transcoder<any>;
};
type ContractEntryDescriptor = MapEntryDescriptor | VariableDescriptor | ReadonlyFunctionDescriptor | OpenCallFunctionDescriptor;
type ParametersOfDescriptor<D> = D extends ContractEntryDescriptor ? D extends {
    input: infer Input;
} ? Input extends readonly {
    name: string;
    type: Transcoder<any>;
}[] ? {
    [K in keyof Input]: Input[K] extends {
        type: Transcoder<infer T>;
    } ? T : never;
} : never : never : never;
type ParameterObjOfDescriptorPickType<T, N> = T extends {
    name: N;
    type: Transcoder<infer R>;
} ? R : never;
type ParameterObjOfDescriptor<D> = D extends ContractEntryDescriptor ? D extends {
    input: infer Input;
} ? Input extends readonly {
    name: string;
    type: Transcoder<any>;
}[] ? {
    [K in Input[number]["name"]]: ParameterObjOfDescriptorPickType<Input[number], K>;
} : Input extends Transcoder<infer U> ? U : never : never : never;
type ReturnTypeOfDescriptor<D> = D extends ContractEntryDescriptor ? D extends {
    output: infer Output;
} ? Output extends Transcoder<infer T> ? T : never : never : never;
type ContractBaseType = {
    [contracts: string]: {
        [func: string]: ContractEntryDescriptor;
    };
};
declare function defineContract<T extends ContractBaseType>(contracts: T): T;

export { type ContractBaseType, type ContractEntryDescriptor, type MapEntryDescriptor, type OpenCallFunctionDescriptor, type ParameterObjOfDescriptor, type ParametersOfDescriptor, type ReadonlyFunctionDescriptor, type ReturnTypeOfDescriptor, type VariableDescriptor, defineContract };