import { Void } from './void';
import { Block } from './block';
import { Text } from './text';
import { Literal, If, Common, Close, WithElse, For, ForTag } from './basic';
import { HTMLBrand } from './interface';
export declare type L<EndTag, Comps> = {
    li: Block<L<EndTag, Comps>, 'li', Comps>;
    for: For<L<ForTag<EndTag>, Comps>>;
} & EndTag;
export declare type List<Parent, End extends string, Comps> = Literal<If<Common<L<Close<Parent, End>, Comps>>, Common<L<Close<WithElse<Parent>, End>, Comps>>>>;
export declare type MIf<Parent, End extends string> = {
    if<Pt>(this: {
        parent: Pt;
    }, condition: boolean): Common<M<Close<WithElse<Pt>, End>>>;
} & Common<M<Close<Parent, End>>>;
export declare type MV<EndTag> = {
    source: Void<M<EndTag>>;
    track: Void<M<EndTag>>;
} & EndTag;
export declare type M<EndTag> = MV<EndTag> & EndTag & {
    fallback(h: HTMLBrand): M<EndTag>;
};
export declare type Media<Parent, End extends string> = Literal<MIf<Parent, End>>;
export declare type OV<EndTag> = {
    param: Void<O<EndTag>>;
} & EndTag;
export declare type O<EndTag> = OV<EndTag> & EndTag & {
    fallback(h: HTMLBrand): O<EndTag>;
};
export declare type ObjectP<Parent> = Literal<If<Common<O<Close<Parent, 'object'>>>, Common<O<Close<WithElse<Parent>, 'object'>>>>>;
export declare type _optgroup<EndTag> = {
    option: Text<Optgroup<EndTag>, 'option'>;
    for: For<_optgroup<ForTag<EndTag>>>;
};
export declare type Optgroup<Parent> = Literal<If<Common<_optgroup<Close<Parent, 'optgroup'>>>, Common<_optgroup<Close<WithElse<Parent>, 'optgroup'>>>>>;
export declare type S<EndTag> = {
    optgroup: Optgroup<EndTag>;
    option: Text<S<EndTag>, 'option'>;
    for: For<S<ForTag<EndTag>>>;
} & EndTag;
export declare type Select<Parent> = Literal<If<Common<S<Close<Parent, 'select'>>>, Common<S<Close<WithElse<Parent>, 'select'>>>>>;
export declare type TC<EndTag, Comps> = {
    td: Block<TC<EndTag, Comps>, 'td', Comps>;
    th: Block<TC<EndTag, Comps>, 'th', Comps>;
    for: For<TC<ForTag<EndTag>, Comps>>;
} & EndTag;
export declare type TR<Parent, Comps> = Literal<If<Common<TC<Close<Parent, 'tr'>, Comps>>, Common<TC<Close<WithElse<Parent>, 'tr'>, Comps>>>>;
export declare type TP<EndTag, Comps> = {
    tr: TR<TP<EndTag, Comps>, Comps>;
    for: For<TP<ForTag<EndTag>, Comps>>;
} & EndTag;
export declare type TabelPart<Parent, End extends string, Comps> = Literal<If<Common<TP<Close<Parent, End>, Comps>>, Common<TP<Close<WithElse<Parent>, End>, Comps>>>>;
export declare type TabelParts = 'thead' | 'tbody' | 'tfoot';
export declare type T<EndTag, Comps> = {
    [K in TabelParts]: TabelPart<T<EndTag, Comps>, K, Comps>;
} & EndTag;
export declare type Table<Parent, Comps> = Literal<If<Common<T<Close<Parent, 'table'>, Comps>>, Common<T<Close<WithElse<Parent>, 'table'>, Comps>>>>;
export declare type D<EndTag, Comps> = {
    dt: Block<D<EndTag, Comps>, 'dt', Comps>;
    dd: Block<D<EndTag, Comps>, 'dd', Comps>;
    for: For<D<ForTag<EndTag>, Comps>>;
} & EndTag;
export declare type Dl<Parent, Comps> = Literal<If<Common<D<Close<Parent, 'dl'>, Comps>>, Common<D<Close<WithElse<Parent>, 'dl'>, Comps>>>>;