PHP WebShell
Текущая директория: /usr/lib/node_modules/bitgo/node_modules/@celo/contractkit/node_modules/fp-ts/es6
Просмотр файла: These.js
import { fromEquals } from './Eq';
import { isNone, none, some } from './Option';
import { pipeable } from './pipeable';
/**
* @since 2.0.0
*/
export var URI = 'These';
/**
* @since 2.0.0
*/
export function left(left) {
return { _tag: 'Left', left: left };
}
/**
* @since 2.0.0
*/
export function right(right) {
return { _tag: 'Right', right: right };
}
/**
* @since 2.0.0
*/
export function both(left, right) {
return { _tag: 'Both', left: left, right: right };
}
/**
* @since 2.0.0
*/
export function fold(onLeft, onRight, onBoth) {
return function (fa) {
switch (fa._tag) {
case 'Left':
return onLeft(fa.left);
case 'Right':
return onRight(fa.right);
case 'Both':
return onBoth(fa.left, fa.right);
}
};
}
/**
* @since 2.0.0
*/
export function getShow(SE, SA) {
return {
show: fold(function (l) { return "left(" + SE.show(l) + ")"; }, function (a) { return "right(" + SA.show(a) + ")"; }, function (l, a) { return "both(" + SE.show(l) + ", " + SA.show(a) + ")"; })
};
}
/**
* @since 2.0.0
*/
export function getEq(EE, EA) {
return fromEquals(function (x, y) {
return isLeft(x)
? isLeft(y) && EE.equals(x.left, y.left)
: isRight(x)
? isRight(y) && EA.equals(x.right, y.right)
: isBoth(y) && EE.equals(x.left, y.left) && EA.equals(x.right, y.right);
});
}
/**
* @since 2.0.0
*/
export function getSemigroup(SL, SA) {
return {
concat: function (x, y) {
return isLeft(x)
? isLeft(y)
? left(SL.concat(x.left, y.left))
: isRight(y)
? both(x.left, y.right)
: both(SL.concat(x.left, y.left), y.right)
: isRight(x)
? isLeft(y)
? both(y.left, x.right)
: isRight(y)
? right(SA.concat(x.right, y.right))
: both(y.left, SA.concat(x.right, y.right))
: isLeft(y)
? both(SL.concat(x.left, y.left), x.right)
: isRight(y)
? both(x.left, SA.concat(x.right, y.right))
: both(SL.concat(x.left, y.left), SA.concat(x.right, y.right));
}
};
}
/**
* @since 2.0.0
*/
export function getMonad(S) {
var chain = function (ma, f) {
if (isLeft(ma)) {
return ma;
}
if (isRight(ma)) {
return f(ma.right);
}
var fb = f(ma.right);
return isLeft(fb)
? left(S.concat(ma.left, fb.left))
: isRight(fb)
? both(ma.left, fb.right)
: both(S.concat(ma.left, fb.left), fb.right);
};
return {
URI: URI,
_E: undefined,
map: these.map,
of: right,
ap: function (mab, ma) { return chain(mab, function (f) { return these.map(ma, f); }); },
chain: chain
};
}
/**
*
* @example
* import { toTuple, left, right, both } from 'fp-ts/lib/These'
*
* assert.deepStrictEqual(toTuple('a', 1)(left('b')), ['b', 1])
* assert.deepStrictEqual(toTuple('a', 1)(right(2)), ['a', 2])
* assert.deepStrictEqual(toTuple('a', 1)(both('b', 2)), ['b', 2])
*
* @since 2.0.0
*/
export function toTuple(e, a) {
return function (fa) { return (isLeft(fa) ? [fa.left, a] : isRight(fa) ? [e, fa.right] : [fa.left, fa.right]); };
}
/**
* Returns an `L` value if possible
*
* @example
* import { getLeft, left, right, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(getLeft(left('a')), some('a'))
* assert.deepStrictEqual(getLeft(right(1)), none)
* assert.deepStrictEqual(getLeft(both('a', 1)), some('a'))
*
* @since 2.0.0
*/
export function getLeft(fa) {
return isLeft(fa) ? some(fa.left) : isRight(fa) ? none : some(fa.left);
}
/**
* Returns an `A` value if possible
*
* @example
* import { getRight, left, right, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(getRight(left('a')), none)
* assert.deepStrictEqual(getRight(right(1)), some(1))
* assert.deepStrictEqual(getRight(both('a', 1)), some(1))
*
* @since 2.0.0
*/
export function getRight(fa) {
return isLeft(fa) ? none : isRight(fa) ? some(fa.right) : some(fa.right);
}
/**
* Returns `true` if the these is an instance of `Left`, `false` otherwise
*
* @since 2.0.0
*/
export function isLeft(fa) {
return fa._tag === 'Left';
}
/**
* Returns `true` if the these is an instance of `Right`, `false` otherwise
*
* @since 2.0.0
*/
export function isRight(fa) {
return fa._tag === 'Right';
}
/**
* Returns `true` if the these is an instance of `Both`, `false` otherwise
*
* @since 2.0.0
*/
export function isBoth(fa) {
return fa._tag === 'Both';
}
/**
* @example
* import { leftOrBoth, left, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(leftOrBoth('a')(none), left('a'))
* assert.deepStrictEqual(leftOrBoth('a')(some(1)), both('a', 1))
*
* @since 2.0.0
*/
export function leftOrBoth(defaultLeft) {
return function (ma) { return (isNone(ma) ? left(defaultLeft) : both(defaultLeft, ma.value)); };
}
/**
* @example
* import { rightOrBoth, right, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(rightOrBoth(1)(none), right(1))
* assert.deepStrictEqual(rightOrBoth(1)(some('a')), both('a', 1))
*
* @since 2.0.0
*/
export function rightOrBoth(defaultRight) {
return function (me) { return (isNone(me) ? right(defaultRight) : both(me.value, defaultRight)); };
}
/**
* Returns the `L` value if and only if the value is constructed with `Left`
*
* @example
* import { getLeftOnly, left, right, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(getLeftOnly(left('a')), some('a'))
* assert.deepStrictEqual(getLeftOnly(right(1)), none)
* assert.deepStrictEqual(getLeftOnly(both('a', 1)), none)
*
* @since 2.0.0
*/
export function getLeftOnly(fa) {
return isLeft(fa) ? some(fa.left) : none;
}
/**
* Returns the `A` value if and only if the value is constructed with `Right`
*
* @example
* import { getRightOnly, left, right, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(getRightOnly(left('a')), none)
* assert.deepStrictEqual(getRightOnly(right(1)), some(1))
* assert.deepStrictEqual(getRightOnly(both('a', 1)), none)
*
*
* @since 2.0.0
*/
export function getRightOnly(fa) {
return isRight(fa) ? some(fa.right) : none;
}
/**
* Takes a pair of `Option`s and attempts to create a `These` from them
*
* @example
* import { fromOptions, left, right, both } from 'fp-ts/lib/These'
* import { none, some } from 'fp-ts/lib/Option'
*
* assert.deepStrictEqual(fromOptions(none, none), none)
* assert.deepStrictEqual(fromOptions(some('a'), none), some(left('a')))
* assert.deepStrictEqual(fromOptions(none, some(1)), some(right(1)))
* assert.deepStrictEqual(fromOptions(some('a'), some(1)), some(both('a', 1)))
*
* @since 2.0.0
*/
export function fromOptions(fe, fa) {
return isNone(fe)
? isNone(fa)
? none
: some(right(fa.value))
: isNone(fa)
? some(left(fe.value))
: some(both(fe.value, fa.value));
}
var identity = function (a) { return a; };
/**
* @since 2.0.0
*/
export var these = {
URI: URI,
map: function (fa, f) { return (isLeft(fa) ? fa : isRight(fa) ? right(f(fa.right)) : both(fa.left, f(fa.right))); },
bimap: function (fea, f, g) {
return isLeft(fea) ? left(f(fea.left)) : isRight(fea) ? right(g(fea.right)) : both(f(fea.left), g(fea.right));
},
mapLeft: function (fea, f) { return these.bimap(fea, f, identity); },
reduce: function (fa, b, f) { return (isLeft(fa) ? b : isRight(fa) ? f(b, fa.right) : f(b, fa.right)); },
foldMap: function (M) { return function (fa, f) { return (isLeft(fa) ? M.empty : isRight(fa) ? f(fa.right) : f(fa.right)); }; },
reduceRight: function (fa, b, f) { return (isLeft(fa) ? b : isRight(fa) ? f(fa.right, b) : f(fa.right, b)); },
traverse: function (F) { return function (ta, f) {
return isLeft(ta) ? F.of(ta) : isRight(ta) ? F.map(f(ta.right), right) : F.map(f(ta.right), function (b) { return both(ta.left, b); });
}; },
sequence: function (F) { return function (ta) {
return isLeft(ta) ? F.of(ta) : isRight(ta) ? F.map(ta.right, right) : F.map(ta.right, function (b) { return both(ta.left, b); });
}; }
};
var _a = pipeable(these), bimap = _a.bimap, foldMap = _a.foldMap, map = _a.map, mapLeft = _a.mapLeft, reduce = _a.reduce, reduceRight = _a.reduceRight;
export {
/**
* @since 2.0.0
*/
bimap,
/**
* @since 2.0.0
*/
foldMap,
/**
* @since 2.0.0
*/
map,
/**
* @since 2.0.0
*/
mapLeft,
/**
* @since 2.0.0
*/
reduce,
/**
* @since 2.0.0
*/
reduceRight };
Выполнить команду
Для локальной разработки. Не используйте в интернете!