1+ /* global exports */
2+ "use strict" ;
3+
4+ // module Data.String
5+
6+ exports . _charAt = function ( i , s , Just , Nothing ) {
7+ return i >= 0 && i < s . length ? Just ( s . charAt ( i ) ) : Nothing ;
8+ } ;
9+
10+ exports . _charCodeAt = function ( i , s , Just , Nothing ) {
11+ return i >= 0 && i < s . length ? Just ( s . charCodeAt ( i ) ) : Nothing ;
12+ } ;
13+
14+ exports . fromCharArray = function ( a ) {
15+ return a . join ( '' ) ;
16+ } ;
17+
18+ exports . _indexOf = function ( just , nothing , x , s ) {
19+ var i = s . indexOf ( x ) ;
20+ return i == - 1 ? nothing : just ( i ) ;
21+ } ;
22+
23+ exports . _indexOf$prime = function ( just , nothing , x , startAt , s ) {
24+ var i = s . indexOf ( x , startAt ) ;
25+ return i == - 1 ? nothing : just ( i ) ;
26+ } ;
27+
28+ exports . _lastIndexOf = function ( just , nothing , x , s ) {
29+ var i = s . lastIndexOf ( x ) ;
30+ return i == - 1 ? nothing : just ( i ) ;
31+ } ;
32+
33+ exports . _lastIndexOf$prime = function ( just , nothing , x , startAt , s ) {
34+ var i = s . lastIndexOf ( x , startAt ) ;
35+ return i == - 1 ? nothing : just ( i ) ;
36+ } ;
37+
38+ exports . length = function ( s ) {
39+ return s . length ;
40+ } ;
41+
42+ exports . localeCompare = function ( lt , eq , gt , s1 , s2 ) {
43+ var result = s1 . localeCompare ( s2 ) ;
44+ return result < 0 ? lt : result > 1 ? gt : eq ;
45+ } ;
46+
47+ exports . replace = function ( s1 ) {
48+ return function ( s2 ) {
49+ return function ( s3 ) {
50+ return s3 . replace ( s1 , s2 ) ;
51+ } ;
52+ } ;
53+ } ;
54+
55+ exports . take = function ( n ) {
56+ return function ( s ) {
57+ return s . substr ( 0 , n ) ;
58+ } ;
59+ } ;
60+
61+ exports . drop = function ( n ) {
62+ return function ( s ) {
63+ return s . substr ( n ) ;
64+ } ;
65+ } ;
66+
67+ exports . split = function ( sep ) {
68+ return function ( s ) {
69+ return s . split ( sep ) ;
70+ } ;
71+ } ;
72+
73+ exports . toCharArray = function ( s ) {
74+ return s . split ( '' ) ;
75+ } ;
76+
77+ exports . toLower = function ( s ) {
78+ return s . toLowerCase ( ) ;
79+ } ;
80+
81+ exports . toUpper = function ( s ) {
82+ return s . toUpperCase ( ) ;
83+ } ;
84+
85+ exports . trim = function ( s ) {
86+ return s . trim ( ) ;
87+ } ;
88+
89+ exports . joinWith = function ( s ) {
90+ return function ( xs ) {
91+ return xs . join ( s ) ;
92+ } ;
93+ } ;
0 commit comments