UNPKG

fp-ts

Version:

Functional programming in TypeScript

104 lines (103 loc) 2.77 kB
import { identity, pipe } from './function'; /** * Reposition the focus at the specified position * * @since 2.0.0 */ export function seek(s) { return function (wa) { return ({ peek: wa.peek, pos: s }); }; } /** * Reposition the focus at the specified position, which depends on the current position * * @since 2.0.0 */ export function seeks(f) { return function (wa) { return ({ peek: wa.peek, pos: f(wa.pos) }); }; } /** * Extract a value from a position which depends on the current position * * @since 2.0.0 */ export function peeks(f) { return function (wa) { return wa.peek(f(wa.pos)); }; } export function experiment(F) { return function (f) { return function (wa) { return F.map(f(wa.pos), function (s) { return wa.peek(s); }); }; }; } // ------------------------------------------------------------------------------------- // non-pipeables // ------------------------------------------------------------------------------------- /* istanbul ignore next */ var map_ = function (fa, f) { return pipe(fa, map(f)); }; /* istanbul ignore next */ var extend_ = function (wa, f) { return pipe(wa, extend(f)); }; // ------------------------------------------------------------------------------------- // pipeables // ------------------------------------------------------------------------------------- /** * @category Extend * @since 2.0.0 */ export var extend = function (f) { return function (wa) { return ({ peek: function (s) { return f({ peek: wa.peek, pos: s }); }, pos: wa.pos }); }; }; /** * @category Extract * @since 2.6.2 */ export var extract = function (wa) { return wa.peek(wa.pos); }; /** * Derivable from `Extend`. * * @category combinators * @since 2.0.0 */ export var duplicate = /*#__PURE__*/ extend(identity); /** * `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 ({ peek: function (s) { return f(fa.peek(s)); }, pos: fa.pos }); }; }; // ------------------------------------------------------------------------------------- // instances // ------------------------------------------------------------------------------------- /** * @category instances * @since 2.0.0 */ export var URI = 'Store'; /** * @category instances * @since 2.7.0 */ export var Functor = { URI: URI, map: map_ }; /** * @category instances * @since 2.7.0 */ export var Comonad = { URI: URI, map: map_, extend: extend_, extract: extract }; // TODO: remove in v3 /** * @category instances * @since 2.0.0 */ export var store = Comonad;