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 Utils = Elm.Native.Utils.make(elm);
14 function isEmpty(str) {
15 return str.length === 0;
17 function cons(chr,str) {
20 function uncons(str) {
22 return (hd = str[0]) ? Maybe.Just(Utils.Tuple2(Utils.chr(hd), str.slice(1)))
25 function length(str) {
29 var out = str.split('');
30 for (var i = out.length; i--; ) {
31 out[i] = f(Utils.chr(out[i]));
35 function filter(pred,str) {
36 return str.split('').map(Utils.chr).filter(pred).join('');
38 function reverse(str) {
39 return str.split('').reverse().join('');
41 function foldl(f,b,str) {
43 for (var i = 0; i < len; ++i) {
44 b = A2(f, Utils.chr(str[i]), b);
48 function foldr(f,b,str) {
49 for (var i = str.length; i--; ) {
50 b = A2(f, Utils.chr(str[i]), b);
55 function split(sep, str) {
56 return JS.toList(str.split(sep));
58 function join(sep, strs) {
59 return JS.fromList(strs).join(sep);
61 function repeat(n, str) {
64 if (n & 1) result += str;
70 function sub(start, end, str) {
71 return str.slice(start,end);
73 function left(n, str) {
74 return n < 1 ? "" : str.slice(0,n);
76 function right(n, str) {
77 return n < 1 ? "" : str.slice(-n);
79 function dropLeft(n, str) {
80 return n < 1 ? str : str.slice(n);
82 function dropRight(n, str) {
83 return n < 1 ? str : str.slice(0,-n);
86 function pad(n,chr,str) {
87 var half = (n - str.length) / 2;
88 return repeat(Math.ceil(half),chr) + str + repeat(half|0,chr);
90 function padRight(n,chr,str) {
91 return str + repeat(n - str.length, chr);
93 function padLeft(n,chr,str) {
94 return repeat(n - str.length, chr) + str;
100 function trimLeft(str) {
101 return str.trimLeft();
103 function trimRight(str) {
104 return str.trimRight();
107 function words(str) {
108 return JS.toList(str.split(/\s+/g));
110 function lines(str) {
111 return JS.toList(str.split(/\r\n|\r|\n/g));
114 function toUpper(str) {
115 return str.toUpperCase();
117 function toLower(str) {
118 return str.toLowerCase();
121 function any(pred, str) {
122 for (var i = str.length; i--; ) {
123 if (pred(Utils.chr(str[i]))) return true;
127 function all(pred, str) {
128 for (var i = str.length; i--; ) {
129 if (!pred(Utils.chr(str[i]))) return false;
134 function contains(sub, str) {
135 return str.indexOf(sub) > -1;
137 function startsWith(sub, str) {
138 return str.indexOf(sub) === 0;
140 function endsWith(sub, str) {
141 return str.lastIndexOf(sub) === str.length - sub.length;
143 function indexes(sub, str) {
144 var subLen = sub.length;
147 while ((i = str.indexOf(sub, i)) > -1) {
151 return JS.toList(is);
154 function toInt(str) {
155 var s = JS.fromString(str);
157 if (len === 0) { return Maybe.Nothing; }
160 if (len === 1) { return Maybe.Nothing; }
163 for (var i = start; i < len; ++i) {
164 if (!Char.isDigit(s[i])) { return Maybe.Nothing; }
166 return Maybe.Just(parseInt(s, 10));
169 function toFloat(str) {
170 var s = JS.fromString(str);
172 if (len === 0) { return Maybe.Nothing; }
175 if (len === 1) { return Maybe.Nothing; }
179 for (var i = start; i < len; ++i) {
180 if (Char.isDigit(s[i])) { continue; }
183 if (dotCount <= 1) { continue; }
185 return Maybe.Nothing;
187 return Maybe.Just(parseFloat(s));
190 return Elm.Native.String.values = {
208 dropLeft: F2(dropLeft),
209 dropRight: F2(dropRight),
212 padLeft: F3(padLeft),
213 padRight: F3(padRight),
217 trimRight: trimRight,
228 contains: F2(contains),
229 startsWith: F2(startsWith),
230 endsWith: F2(endsWith),
231 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