UNPKG

fp-ts-routing

Version:

A type-safe routing library for TypeScript

203 lines 5.22 kB
"use strict"; Object.defineProperty(exports, "__esModule", { value: true }); exports.then = exports.map = exports.flatten = exports.chainFirst = exports.chain = exports.apSecond = exports.apFirst = exports.ap = exports.alt = exports.parser = exports.getParserMonoid = exports.parse = exports.zero = exports.Parser = void 0; var function_1 = require("fp-ts/lib/function"); var O = require("fp-ts/lib/Option"); // This `pipe` version is deprecated, but provided by `fp-ts` v2.0.1 and higher. var pipeable_1 = require("fp-ts/lib/pipeable"); var PARSER_URI = 'fp-ts-routing/Parser'; /** * @category parsers * @since 0.4.0 */ var Parser = /** @class */ (function () { function Parser(run) { this.run = run; } /** * @since 0.4.0 */ Parser.of = function (a) { return new Parser(function (s) { return O.some([a, s]); }); }; /** * @since 0.4.0 */ Parser.prototype.map = function (f) { return this.chain(function (a) { return Parser.of(f(a)); }); // <= derived }; /** * @since 0.4.0 */ Parser.prototype.ap = function (fab) { var _this = this; return fab.chain(function (f) { return _this.map(f); }); // <= derived }; /** * @since 0.4.0 */ Parser.prototype.chain = function (f) { var _this = this; return new Parser(function (r) { return (0, pipeable_1.pipe)(_this.run(r), O.chain(function (_a) { var a = _a[0], r2 = _a[1]; return f(a).run(r2); })); }); }; /** * @since 0.4.0 */ Parser.prototype.alt = function (that) { var _this = this; return new Parser(function (r) { return (0, pipeable_1.pipe)(_this.run(r), O.alt(function () { return that.run(r); })); }); }; /** * @since 0.4.0 */ Parser.prototype.then = function (that) { return that.ap(this.map(assign)); }; return Parser; }()); exports.Parser = Parser; /** * @category parsers * @since 0.4.0 */ var zero = function () { return new Parser(function () { return O.none; }); }; exports.zero = zero; /** * @category parsers * @since 0.4.0 */ var parse = function (parser, r, a) { return (0, pipeable_1.pipe)(parser.run(r), O.fold(function () { return a; }, function (_a) { var x = _a[0]; return x; })); }; exports.parse = parse; /** * @category parsers * @since 0.5.1 */ var getParserMonoid = function () { return ({ concat: function (x, y) { return x.alt(y); }, empty: (0, exports.zero)() }); }; exports.getParserMonoid = getParserMonoid; /** * @category parsers * @since 0.5.1 */ exports.parser = { URI: PARSER_URI, map: function (ma, f) { return ma.map(f); }, of: Parser.of, ap: function (mab, ma) { return ma.ap(mab); }, chain: function (ma, f) { return ma.chain(f); }, alt: function (fx, f) { return new Parser(function (r) { return (0, pipeable_1.pipe)(fx.run(r), O.alt(function () { return f().run(r); })); }); }, zero: exports.zero }; /** * @category parsers * @since 0.5.1 */ var alt = function (that) { return function (fa) { return exports.parser.alt(fa, that); }; }; exports.alt = alt; /** * @category parsers * @since 0.5.1 */ var ap = function (fa) { return function (fab) { return exports.parser.ap(fab, fa); }; }; exports.ap = ap; // taken from fp-ts 2.0.1 https://github.com/gcanti/fp-ts/blob/2.0.1/src/pipeable.ts#L1028 /** * @category parsers * @since 0.5.1 */ var apFirst = function (fb) { return function (fa) { return exports.parser.ap(exports.parser.map(fa, function (a) { return function () { return a; }; }), fb); }; }; exports.apFirst = apFirst; // taken from fp-ts 2.0.1 https://github.com/gcanti/fp-ts/blob/2.0.1/src/pipeable.ts#L1031 /** * @category parsers * @since 0.5.1 */ var apSecond = function (fb) { return function (fa) { return exports.parser.ap(exports.parser.map(fa, function () { return function (b) { return b; }; }), fb); }; }; exports.apSecond = apSecond; /** * @category parsers * @since 0.5.1 */ var chain = function (f) { return function (ma) { return exports.parser.chain(ma, f); }; }; exports.chain = chain; /** * @category parsers * @since 0.5.1 */ var chainFirst = function (f) { return function (ma) { return exports.parser.chain(ma, function (a) { return exports.parser.map(f(a), function () { return a; }); }); }; }; exports.chainFirst = chainFirst; /** * @category parsers * @since 0.5.1 */ var flatten = function (mma) { return exports.parser.chain(mma, function_1.identity); }; exports.flatten = flatten; /** * @category parsers * @since 0.5.1 */ var map = function (f) { return function (fa) { return exports.parser.map(fa, f); }; }; exports.map = map; /** * @category parsers * @since 0.6.0 */ var then = function (fb) { return function (fa) { return fa.then(fb); }; }; exports.then = then; // --- Helpers var assign = function (a) { return function (b) { return Object.assign({}, a, b); }; }; //# sourceMappingURL=parser.js.map