import { Monoid, MonoidDictionary, AnyMonoid } from "./monoid";
import { AbstractMonad } from "./monad";
export declare class Writer<W extends AnyMonoid<W>, A> extends AbstractMonad<A> {
    identity: W;
    state: W;
    value: A;
    constructor(identity: W, state: W, value: A);
    of(a: A): Writer<W, A>;
    chain<B>(f: (a: A) => Writer<W, B>): Writer<W, B>;
    multi: boolean;
}
export declare function runWriter<W extends Monoid<W>, A>(w: Writer<W, A>): [W, A];
export declare type WriterFunctions<W extends AnyMonoid<W>> = {
    tell<A>(w: W): Writer<W, {}>;
    listen<A>(w: Writer<W, A>): Writer<W, [A, W]>;
    of<A>(a: A): Writer<W, A>;
    multi: boolean;
};
export declare function createWriter(mc: ArrayConstructor): WriterFunctions<any[]>;
export declare function createWriter(mc: StringConstructor): WriterFunctions<string>;
export declare function createWriter<M extends Monoid<M>>(mc: MonoidDictionary<M>): WriterFunctions<M>;