import { Widget, IOWidget, Fun, Options, Sum, Pair, Action } from "./widget";
import { StringOptions } from "./string";
import { ButtonOptions } from "./button";
import { TextAreaOptions } from "./text_area";
import { LabelOptions } from "./label";
import { NumberOptions } from "./number";
import { ListItem_io, ListItem } from "./list";
import { DivOptions, DivElement } from "./div";
import { CheckboxOptions } from "./checkbox";
import { StateOptions } from "./stateful";
import { AsyncOptions, AsyncState } from "./async";
import { Branch } from "./choice";
import { Routes } from "./router";
export * from "./string";
export * from "./widget";
export * from "./stateful";
export * from "./any";
export * from "./button";
export * from "./promise";
export * from "./text_area";
export * from "./label";
export * from "./number";
export * from "./list";
export * from "./div";
export * from "./checkbox";
export * from "./async";
export * from "./router";
export declare type WidgetLibrary = {
    string_full: <o>(string_to_output: Fun<string, o>, options?: StringOptions<o> | undefined) => IOWidget<string, o>;
    string: (options?: StringOptions<string> | undefined) => IOWidget<string, string>;
    button: <a>(label: string, options?: ButtonOptions) => IOWidget<() => a, a>;
    button_wrapper: <a>(inner_widget: Widget<{}>, options?: ButtonOptions) => IOWidget<() => a, a>;
    span_io: <i, o>(options?: Options | undefined) => (inner_widget: IOWidget<i, o>) => IOWidget<i, o>;
    text_area: (options?: TextAreaOptions | undefined) => IOWidget<string, string>;
    label_io: <i, o>(text: string, options?: LabelOptions) => (_: IOWidget<i, o>) => IOWidget<i, o>;
    label: <o>(text: string, options?: LabelOptions) => (_: Widget<o>) => Widget<o>;
    number: (options?: NumberOptions | undefined) => IOWidget<number, number>;
    unordered_list_io: <i, o>(options?: Options | undefined) => (list_items: ListItem_io<i, o>[]) => IOWidget<i, o>;
    unorderedList: <o>(options?: Options | undefined) => (list_items: ListItem<o>[]) => Widget<o>;
    dropdown: <a>(to_string: Fun<a, string>, options?: Options) => IOWidget<[a[], a | undefined], a | null>;
    modal_io: <i, o>(modal_root_id: string) => (_: IOWidget<i, o>) => IOWidget<i, o>;
    modal: <o>(modal_root_id: string) => (widget: Widget<o>) => Widget<o>;
    div_io: <i, o>(element: DivElement, options?: DivOptions<o>) => (inner: IOWidget<i, o> | IOWidget<i, o>[]) => IOWidget<i, o>;
    div: <o>(options: DivOptions<o>) => (inner?: Widget<o> | Widget<o>[]) => Widget<o>;
    span: <o>(options: Options) => (inner?: Widget<o> | Widget<o>[]) => Widget<o>;
    nav: <o>(options: Options) => (inner?: Widget<o> | Widget<o>[]) => Widget<o>;
    meta: <o>(options: Options) => Widget<o>;
    bool: (options?: Options) => IOWidget<boolean, boolean>;
    checkbox: <a>(options: CheckboxOptions<a>) => IOWidget<a, a>;
    any_io: <i, o>(options?: Options) => (widgets: IOWidget<i, o>[]) => IOWidget<i, o>;
    any: <o>(options?: Options) => (widgets: Widget<o>[]) => Widget<o>;
    stateful: <s>(options?: StateOptions<s>) => (widget_s: IOWidget<s, s>) => IOWidget<s, s>;
    for_platform_io: <i, o>(_: {
        web: IOWidget<i, o>;
        native: IOWidget<i, o>;
    }) => IOWidget<i, o>;
    for_platform: <o>(_: {
        web: Widget<o>;
        native: Widget<o>;
    }) => Widget<o>;
    only_if: <a>(condition: boolean, widget: Widget<a>) => Widget<a>;
    both: <i, o1, o2>(widget1: IOWidget<i, o1>, widget2: IOWidget<i, o2>) => IOWidget<i, Pair<o1, o2>>;
    wait: <io>(milliseconds: number, options?: Options) => IOWidget<() => io, io>;
    shouldComponentUpdate: <s>(p: (prev: s, next: s) => boolean) => (widget_s: IOWidget<s, s>) => IOWidget<s, s>;
    async: <a>(w: IOWidget<a, Action<AsyncState<a>>>, options?: AsyncOptions<a>) => (s0: AsyncState<a>) => Widget<Action<AsyncState<a>>>;
    either: <i, o1, o2>(widget1: IOWidget<i, o1>, widget2: IOWidget<i, o2>) => IOWidget<i, Sum<o1, o2>>;
    with_dimensions: <T>(_: (_: {
        width: number;
        height: number;
    }) => T) => T;
    with_platform: <T>(_: (_: 'web' | 'ios' | 'android') => T) => T;
    with_windowevents: <T>(_: (_: {
        add: (type: string, f: () => void) => void;
        remove: (type: string, f: () => void) => void;
    }) => T) => T;
    with_html_classes: <T>(_: (_: {
        add: (c: string) => void;
        remove: (c: string) => void;
    }) => T) => T;
    with_document_title: <T>(_: (_: {
        get: () => string;
        set: (_: string) => void;
    }) => T) => T;
    with_html_attributes: <T>(_: (_: {
        get: (_: string) => string;
        set: (_: string, __: string) => void;
    }) => T) => T;
    with_storage: <T>(_: (_: {
        get: (_: string) => Promise<string>;
        set: (key: string, val: string) => Promise<void>;
    }) => T) => T;
    choice: <i, o>(branches: Branch<i, o>[]) => IOWidget<i, o>;
    all: <i, o>(widgets: IOWidget<i, o>[]) => IOWidget<i, o[]>;
    routerSwitch: <R>(options?: Options | undefined) => (routes: Routes<R>) => Widget<R>;
    browserRouter: <O>(options?: Options | undefined) => (component: Widget<O>) => Widget<O>;
    a: <a>(label: string, options?: ButtonOptions | undefined) => IOWidget<() => a, a>;
    aWrapper: <a>(inner_widget: Widget<{}>, options?: ButtonOptions | undefined) => IOWidget<() => a, a>;
    link: (label: string, href: string, options?: (Options & {
        target?: "_blank" | undefined;
    }) | undefined) => Widget<{}>;
    navLink: (label: string | Widget<never>, to: string, options?: Options | undefined) => Widget<{}>;
};