import { Atom, AtomSeed, EventStream, EventStreamSeed, MethodDesc, ObservableSeed, Property, PropertySeed, Scope, Subscribe } from "./abstractions";
import { HKT } from "./hkt";
export declare type SubscriptionTransformer<A, B> = (subscribe: Subscribe<A>) => Subscribe<B>;
export declare type StreamTransformer<A, B> = SubscriptionTransformer<A, B>;
export declare type Transformer<A, B> = {
    changes: StreamTransformer<A, B>;
    init: (value: A) => B;
};
export declare type StatefulTransformResult<B, O> = O extends PropertySeed<any> ? PropertySeed<B> : O extends EventStreamSeed<any> ? EventStreamSeed<B> : never;
export declare type StatefulTransformResultScoped<B, O> = O extends PropertySeed<any> ? Property<B> : O extends EventStreamSeed<any> ? EventStream<B> : never;
export declare type StatefulUnaryTransformResult<O> = O extends AtomSeed<infer A> ? AtomSeed<A> : O extends PropertySeed<infer A> ? PropertySeed<A> : O extends EventStreamSeed<infer A> ? EventStreamSeed<A> : never;
export declare type StatefulUnaryTransformResultScoped<O> = O extends AtomSeed<infer A> ? Atom<A> : O extends PropertySeed<infer A> ? Property<A> : O extends EventStreamSeed<infer A> ? EventStream<A> : never;
export declare type StatefulUnaryTransformResultFor<O, A> = O extends AtomSeed<any> ? AtomSeed<A> : O extends PropertySeed<any> ? PropertySeed<A> : O extends EventStreamSeed<any> ? EventStreamSeed<A> : never;
export declare type StatefulUnaryTransformResultScopedFor<O, A> = O extends AtomSeed<any> ? Atom<A> : O extends PropertySeed<any> ? Property<A> : O extends EventStreamSeed<any> ? EventStream<A> : never;
export interface GenericTransformOp {
    <A, O>(o: In<O, A>): StatefulUnaryTransformResult<O>;
}
export interface GenericTransformOpScoped {
    <A, O>(o: In<O, A>): StatefulUnaryTransformResultScoped<O>;
}
export interface BinaryTransformOp<A, B> {
    <O>(o: In<O, A>): StatefulTransformResult<B, O>;
}
export interface BinaryTransformOpScoped<A, B> {
    <O>(o: In<O, A>): StatefulTransformResultScoped<B, O>;
}
export interface StreamTransformOp<A, B> {
    (seed: EventStreamSeed<A> | EventStream<A>): EventStreamSeed<B>;
}
export interface StreamTransformOpScoped<A, B> {
    (seed: EventStreamSeed<A> | EventStream<A>): EventStream<B>;
}
export declare type In<ObsType, ValueType> = HKT<ObsType> & ObservableSeed<ValueType, any, any>;
export interface UnaryTransformOp<A, B = A> {
    <O>(o: In<O, A>): StatefulUnaryTransformResultFor<O, B>;
}
export interface UnaryTransformOpScoped<A, B extends A = A> {
    <O>(o: In<O, A>): StatefulUnaryTransformResultScopedFor<O, B>;
}
export declare const IdentityTransformer: {
    changes: <A>(subscribe: Subscribe<A>) => Subscribe<A>;
    init: <A_1>(value: A_1) => A_1;
};
export declare function transform<A>(desc: MethodDesc, transformer: Transformer<A, A>): UnaryTransformOp<A>;
export declare function transform<A>(desc: MethodDesc, transformer: Transformer<A, A>, scope: Scope): UnaryTransformOpScoped<A>;
export declare function transform<A, B>(desc: MethodDesc, transformer: Transformer<A, B>): BinaryTransformOp<A, B>;
export declare function transform<A, B>(desc: MethodDesc, transformer: Transformer<A, B>, scope: Scope): BinaryTransformOpScoped<A, B>;
export declare function transform<A, B>(desc: MethodDesc, transformer: StreamTransformer<A, B>): StreamTransformOp<A, B>;
export declare function transform<A, B>(desc: MethodDesc, transformer: StreamTransformer<A, B>, scope: Scope): StreamTransformOpScoped<A, B>;