2Elm.Native.String.make = function(elm) {
3 elm.Native = elm.Native || {};
4 elm.Native.String = elm.Native.String || {};
5 if (elm.Native.String.values) return elm.Native.String.values;
6 if ('values' in Elm.Native.String)
7 return elm.Native.String.values = Elm.Native.String.values;
9 var Char = Elm.Char.make(elm);
10 var Maybe = Elm.Maybe.make(elm);
11 var JS = Elm.JavaScript.make(elm);
12 var Tuple2 = Elm.Native.Utils.make(elm).Tuple2;
14 function isEmpty(str) {
15 return str.length === 0;
17 function cons(chr,str) {
20 function uncons(str) {
22 return (chr = str[0]) ? Maybe.Just(Tuple2(chr, str.slice(1)))
25 function length(str) {
29 return str.split('').map(f).join('');
31 function filter(pred,str) {
32 return str.split('').filter(pred).join('');
34 function reverse(str) {
35 return str.split('').reverse().join('');
37 function foldl(f,b,str) {
39 for (var i = 0; i < len; ++i) {
44 function foldr(f,b,str) {
45 for (var i = str.length; i--; ) {
51 function split(sep, str) {
52 return str.split(sep);
54 function join(sep, strs) {
55 return JS.fromList(strs).join(sep);
57 function repeat(n, chr) {
60 if (n & 1) result += chr;
66 function sub(start, end, str) {
67 return str.slice(start,end);
69 function left(n, str) {
70 return n < 1 ? "" : str.slice(0,n);
72 function right(n, str) {
73 return n < 1 ? "" : str.slice(-n);
75 function dropLeft(n, str) {
76 return n < 1 ? str : str.slice(n);
78 function dropRight(n, str) {
79 return n < 1 ? str : str.slice(0,-n);
82 function pad(n,chr,str) {
83 var half = n - str.length / 2;
84 return repeat(Math.ceil(half),chr) + str + repeat(half|0,chr);
86 function padRight(n,chr,str) {
87 return str + repeat(n - str.length, chr);
89 function padLeft(n,chr,str) {
90 return repeat(n - str.length, chr) + str;
96 function trimLeft(str) {
97 return str.trimLeft();
99 function trimRight(str) {
100 return str.trimRight();
103 function words(str) {
104 return JS.toList(str.split(/\s+/g));
106 function unwords(str) {
107 return JS.fromList(str).join(' ');
109 function lines(str) {
110 return JS.toList(str.split(/\r\n|\r|\n/g));
112 function unlines(str) {
113 return JS.fromList(str).join('\n');
116 function toUpper(str) {
117 return str.toUpperCase();
119 function toLower(str) {
120 return str.toLowerCase();
123 function any(pred, str) {
124 for (var i = str.length; i--; ) {
125 if (pred(str[i])) return true;
129 function all(pred, str) {
130 for (var i = str.length; i--; ) {
131 if (!pred(str[i])) return false;
136 function contains(sub, str) {
137 return str.indexOf(sub) > -1;
139 function startsWith(sub, str) {
140 return str.indexOf(sub) === 0;
142 function endsWith(sub, str) {
143 return str.lastIndexOf(sub) === str.length - sub.length;
145 function indexes(sub, str) {
146 var subLen = sub.length;
149 while ((i = str.indexOf(sub, i)) > -1) {
153 return JS.toList(is);
156 function toInt(str) {
157 var s = JS.fromString(str);
159 if (len === 0) { return Maybe.Nothing; }
162 if (len === 1) { return Maybe.Nothing; }
165 for (var i = start; i < len; ++i) {
166 if (!Char.isDigit(s[i])) { return Maybe.Nothing; }
168 return Maybe.Just(parseInt(s, 10));
171 function toFloat(str) {
172 var s = JS.fromString(str);
174 if (len === 0) { return Maybe.Nothing; }
177 if (len === 1) { return Maybe.Nothing; }
181 for (var i = start; i < len; ++i) {
182 if (Char.isDigit(s[i])) { continue; }
185 if (dotCount <= 1) { continue; }
187 return Maybe.Nothing;
189 return Maybe.Just(parseFloat(s));
192 return Elm.Native.String.values = {
210 dropLeft: F2(dropLeft),
211 dropRight: F2(dropRight),
214 padLeft: F3(padLeft),
215 padRight: F3(padRight),
219 trimRight: trimRight,
232 contains: F2(contains),
233 startsWith: F2(startsWith),
234 endsWith: F2(endsWith),
235 indexes: F2(indexes),
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list