/**
 * @since 2.4.0
 */
import { HKT, Kind, Kind2, Kind3, URIS, URIS2, URIS3 } from './HKT.js';
import { Monad, Monad1, Monad2, Monad2C, Monad3 } from './Monad.js';
import { Monoid } from './Monoid.js';
/**
 * @category model
 * @since 2.4.0
 */
export interface WriterT<M, W, A> {
    (): HKT<M, [A, W]>;
}
/**
 * @since 2.4.0
 */
export interface WriterM<M> {
    readonly map: <W, A, B>(fa: WriterT<M, W, A>, f: (a: A) => B) => WriterT<M, W, B>;
    readonly evalWriter: <W, A>(fa: WriterT<M, W, A>) => HKT<M, A>;
    readonly execWriter: <W, A>(fa: WriterT<M, W, A>) => HKT<M, W>;
    readonly tell: <W>(w: W) => WriterT<M, W, void>;
    readonly listen: <W, A>(fa: WriterT<M, W, A>) => WriterT<M, W, [A, W]>;
    readonly pass: <W, A>(fa: WriterT<M, W, [A, (w: W) => W]>) => WriterT<M, W, A>;
    readonly listens: <W, A, B>(fa: WriterT<M, W, A>, f: (w: W) => B) => WriterT<M, W, [A, B]>;
    readonly censor: <W, A>(fa: WriterT<M, W, A>, f: (w: W) => W) => WriterT<M, W, A>;
    readonly getMonad: <W>(M: Monoid<W>) => {
        readonly _E: W;
        readonly map: <A, B>(ma: WriterT<M, W, A>, f: (a: A) => B) => WriterT<M, W, B>;
        readonly of: <A>(a: A) => WriterT<M, W, A>;
        readonly ap: <A, B>(mab: WriterT<M, W, (a: A) => B>, ma: WriterT<M, W, A>) => WriterT<M, W, B>;
        readonly chain: <A, B>(ma: WriterT<M, W, A>, f: (a: A) => WriterT<M, W, B>) => WriterT<M, W, B>;
    };
}
/**
 * @category model
 * @since 2.4.0
 */
export interface WriterT1<M extends URIS, W, A> {
    (): Kind<M, [A, W]>;
}
/**
 * @since 2.4.0
 */
export interface WriterM1<M extends URIS> {
    readonly map: <W, A, B>(fa: WriterT1<M, W, A>, f: (a: A) => B) => WriterT1<M, W, B>;
    readonly evalWriter: <W, A>(fa: WriterT1<M, W, A>) => Kind<M, A>;
    readonly execWriter: <W, A>(fa: WriterT1<M, W, A>) => Kind<M, W>;
    readonly tell: <W>(w: W) => WriterT1<M, W, void>;
    readonly listen: <W, A>(fa: WriterT1<M, W, A>) => WriterT1<M, W, [A, W]>;
    readonly pass: <W, A>(fa: WriterT1<M, W, [A, (w: W) => W]>) => WriterT1<M, W, A>;
    readonly listens: <W, A, B>(fa: WriterT1<M, W, A>, f: (w: W) => B) => WriterT1<M, W, [A, B]>;
    readonly censor: <W, A>(fa: WriterT1<M, W, A>, f: (w: W) => W) => WriterT1<M, W, A>;
    readonly getMonad: <W>(M: Monoid<W>) => {
        readonly _E: W;
        readonly map: <A, B>(ma: WriterT1<M, W, A>, f: (a: A) => B) => WriterT1<M, W, B>;
        readonly of: <A>(a: A) => WriterT1<M, W, A>;
        readonly ap: <A, B>(mab: WriterT1<M, W, (a: A) => B>, ma: WriterT1<M, W, A>) => WriterT1<M, W, B>;
        readonly chain: <A, B>(ma: WriterT1<M, W, A>, f: (a: A) => WriterT1<M, W, B>) => WriterT1<M, W, B>;
    };
}
/**
 * @category model
 * @since 2.4.0
 */
export interface WriterT2<M extends URIS2, E, W, A> {
    (): Kind2<M, E, [A, W]>;
}
/**
 * @since 2.4.0
 */
export interface WriterM2<M extends URIS2> {
    readonly map: <E, W, A, B>(fa: WriterT2<M, E, W, A>, f: (a: A) => B) => WriterT2<M, E, W, B>;
    readonly evalWriter: <E, W, A>(fa: WriterT2<M, E, W, A>) => Kind2<M, E, A>;
    readonly execWriter: <E, W, A>(fa: WriterT2<M, E, W, A>) => Kind2<M, E, W>;
    readonly tell: <E, W>(w: W) => WriterT2<M, E, W, void>;
    readonly listen: <E, W, A>(fa: WriterT2<M, E, W, A>) => WriterT2<M, E, W, [A, W]>;
    readonly pass: <E, W, A>(fa: WriterT2<M, E, W, [A, (w: W) => W]>) => WriterT2<M, E, W, A>;
    readonly listens: <E, W, A, B>(fa: WriterT2<M, E, W, A>, f: (w: W) => B) => WriterT2<M, E, W, [A, B]>;
    readonly censor: <E, W, A>(fa: WriterT2<M, E, W, A>, f: (w: W) => W) => WriterT2<M, E, W, A>;
    readonly getMonad: <W>(M: Monoid<W>) => {
        readonly _E: W;
        readonly map: <E, A, B>(ma: WriterT2<M, E, W, A>, f: (a: A) => B) => WriterT2<M, E, W, B>;
        readonly of: <E, A>(a: A) => WriterT2<M, E, W, A>;
        readonly ap: <E, A, B>(mab: WriterT2<M, E, W, (a: A) => B>, ma: WriterT2<M, E, W, A>) => WriterT2<M, E, W, B>;
        readonly chain: <E, A, B>(ma: WriterT2<M, E, W, A>, f: (a: A) => WriterT2<M, E, W, B>) => WriterT2<M, E, W, B>;
    };
}
/**
 * @since 2.4.0
 */
export interface WriterM2C<M extends URIS2, E> {
    readonly map: <W, A, B>(fa: WriterT2<M, E, W, A>, f: (a: A) => B) => WriterT2<M, E, W, B>;
    readonly evalWriter: <W, A>(fa: WriterT2<M, E, W, A>) => Kind2<M, E, A>;
    readonly execWriter: <W, A>(fa: WriterT2<M, E, W, A>) => Kind2<M, E, W>;
    readonly tell: <W>(w: W) => WriterT2<M, E, W, void>;
    readonly listen: <W, A>(fa: WriterT2<M, E, W, A>) => WriterT2<M, E, W, [A, W]>;
    readonly pass: <W, A>(fa: WriterT2<M, E, W, [A, (w: W) => W]>) => WriterT2<M, E, W, A>;
    readonly listens: <W, A, B>(fa: WriterT2<M, E, W, A>, f: (w: W) => B) => WriterT2<M, E, W, [A, B]>;
    readonly censor: <W, A>(fa: WriterT2<M, E, W, A>, f: (w: W) => W) => WriterT2<M, E, W, A>;
    readonly getMonad: <W>(M: Monoid<W>) => {
        readonly _E: W;
        readonly map: <A, B>(ma: WriterT2<M, E, W, A>, f: (a: A) => B) => WriterT2<M, E, W, B>;
        readonly of: <A>(a: A) => WriterT2<M, E, W, A>;
        readonly ap: <A, B>(mab: WriterT2<M, E, W, (a: A) => B>, ma: WriterT2<M, E, W, A>) => WriterT2<M, E, W, B>;
        readonly chain: <A, B>(ma: WriterT2<M, E, W, A>, f: (a: A) => WriterT2<M, E, W, B>) => WriterT2<M, E, W, B>;
    };
}
/**
 * @since 2.4.0
 */
export interface WriterT3<M extends URIS3, R, E, W, A> {
    (): Kind3<M, R, E, [A, W]>;
}
/**
 * @since 2.4.0
 */
export interface WriterM3<M extends URIS3> {
    readonly map: <R, E, W, A, B>(fa: WriterT3<M, R, E, W, A>, f: (a: A) => B) => WriterT3<M, R, E, W, B>;
    readonly evalWriter: <R, E, W, A>(fa: WriterT3<M, R, E, W, A>) => Kind3<M, R, E, A>;
    readonly execWriter: <R, E, W, A>(fa: WriterT3<M, R, E, W, A>) => Kind3<M, R, E, W>;
    readonly tell: <R, E, W>(w: W) => WriterT3<M, R, E, W, void>;
    readonly listen: <R, E, W, A>(fa: WriterT3<M, R, E, W, A>) => WriterT3<M, R, E, W, [A, W]>;
    readonly pass: <R, E, W, A>(fa: WriterT3<M, R, E, W, [A, (w: W) => W]>) => WriterT3<M, R, E, W, A>;
    readonly listens: <R, E, W, A, B>(fa: WriterT3<M, R, E, W, A>, f: (w: W) => B) => WriterT3<M, R, E, W, [A, B]>;
    readonly censor: <R, E, W, A>(fa: WriterT3<M, R, E, W, A>, f: (w: W) => W) => WriterT3<M, R, E, W, A>;
    readonly getMonad: <W>(M: Monoid<W>) => {
        readonly _E: W;
        readonly map: <R, E, A, B>(ma: WriterT3<M, R, E, W, A>, f: (a: A) => B) => WriterT3<M, R, E, W, B>;
        readonly of: <R, E, A>(a: A) => WriterT3<M, R, E, W, A>;
        readonly ap: <R, E, A, B>(mab: WriterT3<M, R, E, W, (a: A) => B>, ma: WriterT3<M, R, E, W, A>) => WriterT3<M, R, E, W, B>;
        readonly chain: <R, E, A, B>(ma: WriterT3<M, R, E, W, A>, f: (a: A) => WriterT3<M, R, E, W, B>) => WriterT3<M, R, E, W, B>;
    };
}
/**
 * @since 2.4.0
 */
export declare function getWriterM<M extends URIS3>(M: Monad3<M>): WriterM3<M>;
export declare function getWriterM<M extends URIS2>(M: Monad2<M>): WriterM2<M>;
export declare function getWriterM<M extends URIS2, E>(M: Monad2C<M, E>): WriterM2C<M, E>;
export declare function getWriterM<M extends URIS>(M: Monad1<M>): WriterM1<M>;
export declare function getWriterM<M>(M: Monad<M>): WriterM<M>;