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);
13 var show = Elm.Native.Show.make(elm);
15 function isEmpty(str) {
16 return str.length === 0;
18 function cons(chr,str) {
21 function uncons(str) {
23 return (hd = str[0]) ? Maybe.Just(Utils.Tuple2(Utils.chr(hd), str.slice(1)))
26 function append(a,b) {
29 function concat(strs) {
30 return JS.fromList(strs).join('');
32 function length(str) {
36 var out = str.split('');
37 for (var i = out.length; i--; ) {
38 out[i] = f(Utils.chr(out[i]));
42 function filter(pred,str) {
43 return str.split('').map(Utils.chr).filter(pred).join('');
45 function reverse(str) {
46 return str.split('').reverse().join('');
48 function foldl(f,b,str) {
50 for (var i = 0; i < len; ++i) {
51 b = A2(f, Utils.chr(str[i]), b);
55 function foldr(f,b,str) {
56 for (var i = str.length; i--; ) {
57 b = A2(f, Utils.chr(str[i]), b);
62 function split(sep, str) {
63 return JS.toList(str.split(sep));
65 function join(sep, strs) {
66 return JS.fromList(strs).join(sep);
68 function repeat(n, str) {
71 if (n & 1) result += str;
77 function sub(start, end, str) {
78 return str.slice(start,end);
80 function left(n, str) {
81 return n < 1 ? "" : str.slice(0,n);
83 function right(n, str) {
84 return n < 1 ? "" : str.slice(-n);
86 function dropLeft(n, str) {
87 return n < 1 ? str : str.slice(n);
89 function dropRight(n, str) {
90 return n < 1 ? str : str.slice(0,-n);
93 function pad(n,chr,str) {
94 var half = (n - str.length) / 2;
95 return repeat(Math.ceil(half),chr) + str + repeat(half|0,chr);
97 function padRight(n,chr,str) {
98 return str + repeat(n - str.length, chr);
100 function padLeft(n,chr,str) {
101 return repeat(n - str.length, chr) + str;
107 function trimLeft(str) {
108 return str.trimLeft();
110 function trimRight(str) {
111 return str.trimRight();
114 function words(str) {
115 return JS.toList(str.split(/\s+/g));
117 function lines(str) {
118 return JS.toList(str.split(/\r\n|\r|\n/g));
121 function toUpper(str) {
122 return str.toUpperCase();
124 function toLower(str) {
125 return str.toLowerCase();
128 function any(pred, str) {
129 for (var i = str.length; i--; ) {
130 if (pred(Utils.chr(str[i]))) return true;
134 function all(pred, str) {
135 for (var i = str.length; i--; ) {
136 if (!pred(Utils.chr(str[i]))) return false;
141 function contains(sub, str) {
142 return str.indexOf(sub) > -1;
144 function startsWith(sub, str) {
145 return str.indexOf(sub) === 0;
147 function endsWith(sub, str) {
148 return str.lastIndexOf(sub) === str.length - sub.length;
150 function indexes(sub, str) {
151 var subLen = sub.length;
154 while ((i = str.indexOf(sub, i)) > -1) {
158 return JS.toList(is);
163 if (len === 0) { return Maybe.Nothing; }
166 if (len === 1) { return Maybe.Nothing; }
169 for (var i = start; i < len; ++i) {
170 if (!Char.isDigit(s[i])) { return Maybe.Nothing; }
172 return Maybe.Just(parseInt(s, 10));
175 function toFloat(s) {
177 if (len === 0) { return Maybe.Nothing; }
180 if (len === 1) { return Maybe.Nothing; }
184 for (var i = start; i < len; ++i) {
185 if (Char.isDigit(s[i])) { continue; }
188 if (dotCount <= 1) { continue; }
190 return Maybe.Nothing;
192 return Maybe.Just(parseFloat(s));
195 function toList(str) {
196 return JS.toList(str.split('').map(Utils.chr));
198 function fromList(chars) {
199 return JS.fromList(chars).join('');
202 return Elm.Native.String.values = {
222 dropLeft: F2(dropLeft),
223 dropRight: F2(dropRight),
226 padLeft: F3(padLeft),
227 padRight: F3(padRight),
231 trimRight: trimRight,
242 contains: F2(contains),
243 startsWith: F2(startsWith),
244 endsWith: F2(endsWith),
245 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