Table of contents


URI (type alias)

Signature

export type URI = typeof URI

Writer (class)

Signature

export class Writer<W, A> {
  constructor(readonly run: () => [A, W]) { ... }
  ...
}

Added in v1.0.0

eval (method)

Signature

eval(): A { ... }

exec (method)

Signature

exec(): W { ... }

map (method)

Signature

map<B>(f: (a: A) => B): Writer<W, B> { ... }

URI (constant)

Signature

export const URI = ...

writer (constant)

Signature

export const writer: Functor2<URI> = ...

Added in v1.0.0

censor (function)

Modify the final accumulator value by applying a function

Signature

export const censor = <W, A>(fa: Writer<W, A>, f: (w: W) => W): Writer<W, A> => ...

Added in v1.3.0

getMonad (function)

Signature

export const getMonad = <W>(M: Monoid<W>): Monad2C<URI, W> => ...

Added in v1.0.0

listen (function)

Modifies the result to include the changes to the accumulator

Signature

export const listen = <W, A>(fa: Writer<W, A>): Writer<W, [A, W]> => ...

Added in v1.3.0

listens (function)

Projects a value from modifications made to the accumulator during an action

Signature

export const listens = <W, A, B>(fa: Writer<W, A>, f: (w: W) => B): Writer<W, [A, B]> => ...

Added in v1.3.0

pass (function)

Applies the returned function to the accumulator

Signature

export const pass = <W, A>(fa: Writer<W, [A, (w: W) => W]>): Writer<W, A> => ...

Added in v1.3.0

tell (function)

Appends a value to the accumulator

Signature

export const tell = <W>(w: W): Writer<W, void> => ...

Added in v1.0.0