fp-ts
Version:
Functional programming in TypeScript
147 lines (146 loc) • 4.26 kB
JavaScript
import { pipe } from './function';
// tslint:enable:readonly-array
// -------------------------------------------------------------------------------------
// combinators
// -------------------------------------------------------------------------------------
/**
* Appends a value to the accumulator
*
* @category combinators
* @since 2.0.0
*/
export var tell = function (w) { return function () { return [undefined, w]; }; };
// tslint:disable:readonly-array
/**
* Modifies the result to include the changes to the accumulator
*
* @category combinators
* @since 2.0.0
*/
export var listen = function (fa) { return function () {
var _a = fa(), a = _a[0], w = _a[1];
return [[a, w], w];
}; };
// tslint:enable:readonly-array
// tslint:disable:readonly-array
/**
* Applies the returned function to the accumulator
*
* @category combinators
* @since 2.0.0
*/
export var pass = function (fa) { return function () {
var _a = fa(), _b = _a[0], a = _b[0], f = _b[1], w = _a[1];
return [a, f(w)];
}; };
// tslint:enable:readonly-array
// tslint:disable:readonly-array
/**
* Projects a value from modifications made to the accumulator during an action
*
* @category combinators
* @since 2.0.0
*/
export var listens = function (f) { return function (fa) { return function () {
var _a = fa(), a = _a[0], w = _a[1];
return [[a, f(w)], w];
}; }; };
// tslint:enable:readonly-array
/**
* Modify the final accumulator value by applying a function
*
* @category combinators
* @since 2.0.0
*/
export var censor = function (f) { return function (fa) { return function () {
var _a = fa(), a = _a[0], w = _a[1];
return [a, f(w)];
}; }; };
// -------------------------------------------------------------------------------------
// non-pipeables
// -------------------------------------------------------------------------------------
/* istanbul ignore next */
var map_ = function (fa, f) { return pipe(fa, map(f)); };
// -------------------------------------------------------------------------------------
// pipeables
// -------------------------------------------------------------------------------------
/**
* `map` can be used to turn functions `(a: A) => B` into functions `(fa: F<A>) => F<B>` whose argument and return types
* use the type constructor `F` to represent some computational context.
*
* @category Functor
* @since 2.0.0
*/
export var map = function (f) { return function (fa) { return function () {
var _a = fa(), a = _a[0], w = _a[1];
return [f(a), w];
}; }; };
// -------------------------------------------------------------------------------------
// instances
// -------------------------------------------------------------------------------------
/**
* @category instances
* @since 2.0.0
*/
export var URI = 'Writer';
/**
* @category instances
* @since 2.0.0
*/
export function getMonad(M) {
return {
URI: URI,
_E: undefined,
map: map_,
ap: function (fab, fa) { return function () {
var _a = fab(), f = _a[0], w1 = _a[1];
var _b = fa(), a = _b[0], w2 = _b[1];
return [f(a), M.concat(w1, w2)];
}; },
of: function (a) { return function () { return [a, M.empty]; }; },
chain: function (fa, f) { return function () {
var _a = fa(), a = _a[0], w1 = _a[1];
var _b = f(a)(), b = _b[0], w2 = _b[1];
return [b, M.concat(w1, w2)];
}; }
};
}
/**
* @category instances
* @since 2.7.0
*/
export var Functor = {
URI: URI,
map: map_
};
// TODO: remove in v3
/**
* @category instances
* @since 2.0.0
*/
export var writer = Functor;
// -------------------------------------------------------------------------------------
// utils
// -------------------------------------------------------------------------------------
/**
* Use `evaluate` instead
*
* @since 2.0.0
* @deprecated
*/
export var evalWriter = function (fa) { return fa()[0]; };
/**
* Use `execute` instead
*
* @since 2.0.0
* @deprecated
*/
export var execWriter = function (fa) { return fa()[1]; };
/**
* @since 2.8.0
*/
export var evaluate = function (fa) { return fa()[0]; };
/**
* @since 2.8.0
*/
export var execute = function (fa) { return fa()[1]; };