import type { ComponentCtrl, Props, VNode } from './core';
export { opt, props, req, widget };
export type { ComponentCtrl, PropDef, PropsDef };
declare type ComponentFunc<P extends Props> = (p: P) => () => VNode;
declare type PropDefReq<T> = {
    required: true;
};
declare type PropDefOpt<T> = {
    required: false;
    defaultValue: never;
};
declare type PropDefVal<T> = {
    required: false;
    defaultValue: T;
};
declare type PropDef<T> = PropDefReq<T> | PropDefOpt<T> | PropDefVal<T>;
declare type PropsDef = Record<string, PropDef<unknown>>;
declare type Prettify<T extends {}> = T;
declare type PropsType<T extends PropsDef> = Prettify<{
    [K in keyof T as T[K] extends PropDefReq<any> ? K : never]: T[K] extends PropDefReq<infer U> ? U : never;
} & {
    [K in keyof T as T[K] extends PropDefOpt<any> ? K : never]?: T[K] extends PropDefOpt<infer U> ? U : never;
} & {
    [K in keyof T as T[K] extends PropDefVal<any> ? K : never]?: T[K] extends PropDefVal<infer U> ? U : never;
}>;
declare type DefaultsType<T extends PropsDef> = {
    [K in keyof T as T[K] extends PropDefVal<any> ? K : never]: T[K] extends PropDefVal<infer U> ? U : never;
};
interface PropsConfig<P extends Props, D extends {}> {
    validateProps?: (nextProps: P, oldProps: P) => null | Error;
    defaults: D;
}
declare function req<T>(): PropDefReq<T>;
declare function opt<T>(): PropDefOpt<T>;
declare function opt<T>(defaultValue?: T): PropDefVal<T>;
declare function props<T extends PropsDef>(propsDef: T): PropsConfig<PropsType<T>, DefaultsType<T>>;
declare function widget(name: string, main: ComponentFunc<{}>): ComponentFunc<{}>;
declare function widget(name: string): <P extends Props, D extends Partial<P>>(propsConfig: PropsConfig<P, D>) => (fn: (props: Prettify<P & D>) => () => VNode) => ComponentFunc<P>;