purs-pkg-deps
Version:
Query package dependencies in PureScript package-sets
119 lines (103 loc) • 2.31 kB
JavaScript
;
exports.fromCharArray = function (a) {
return a.join("");
};
exports.toCharArray = function (s) {
return s.split("");
};
exports.singleton = function (c) {
return c;
};
exports._charAt = function (just) {
return function (nothing) {
return function (i) {
return function (s) {
return i >= 0 && i < s.length ? just(s.charAt(i)) : nothing;
};
};
};
};
exports._toChar = function (just) {
return function (nothing) {
return function (s) {
return s.length === 1 ? just(s) : nothing;
};
};
};
exports.length = function (s) {
return s.length;
};
exports.countPrefix = function (p) {
return function (s) {
var i = 0;
while (i < s.length && p(s.charAt(i))) i++;
return i;
};
};
exports._indexOf = function (just) {
return function (nothing) {
return function (x) {
return function (s) {
var i = s.indexOf(x);
return i === -1 ? nothing : just(i);
};
};
};
};
exports._indexOfStartingAt = function (just) {
return function (nothing) {
return function (x) {
return function (startAt) {
return function (s) {
if (startAt < 0 || startAt > s.length) return nothing;
var i = s.indexOf(x, startAt);
return i === -1 ? nothing : just(i);
};
};
};
};
};
exports._lastIndexOf = function (just) {
return function (nothing) {
return function (x) {
return function (s) {
var i = s.lastIndexOf(x);
return i === -1 ? nothing : just(i);
};
};
};
};
exports._lastIndexOfStartingAt = function (just) {
return function (nothing) {
return function (x) {
return function (startAt) {
return function (s) {
var i = s.lastIndexOf(x, startAt);
return i === -1 ? nothing : just(i);
};
};
};
};
};
exports.take = function (n) {
return function (s) {
return s.substr(0, n);
};
};
exports.drop = function (n) {
return function (s) {
return s.substring(n);
};
};
exports._slice = function (b) {
return function (e) {
return function (s) {
return s.slice(b,e);
};
};
};
exports.splitAt = function (i) {
return function (s) {
return { before: s.substring(0, i), after: s.substring(i) };
};
};