import { Stream } from 'xstream';
import { MainFn, Reducer } from './types';
import { StateSource } from './StateSource';
/**
 * While we are waiting for keyof subtraction to land in TypeScript,
 * https://github.com/Microsoft/TypeScript/issues/12215,
 * we must use `any` as the type of sources or sinks in the mainOnionified.
 * This is because the correct type is *not*
 *
 * Main<So, Si>
 *
 * *neither*
 *
 * Main<Partial<So>, Partial<Si>>
 *
 * The former will signal to Cycle.run that a driver for 'onion' is needed,
 * while the latter will make valid channels like 'DOM' become optional.
 * The correct type should be
 *
 * Main<Omit<So, 'onion'>, Omit<Si, 'onion'>>
 */
export declare type Omit<T, K extends keyof T> = any;
export declare type OSo<T> = {
    onion: StateSource<T>;
};
export declare type OSi<T> = {
    onion: Stream<Reducer<T>>;
};
export declare type MainOnionified<T, So extends OSo<T>, Si extends OSi<T>> = MainFn<Omit<So, 'onion'>, Omit<Si, 'onion'>>;
export declare function onionify<T, So extends OSo<T>, Si extends OSi<T>>(main: MainFn<So, Si>, name?: string): MainOnionified<T, So, Si>;