ghcjs-base-0.8.0.4: jsbits/jsstringRaw.js

//#OPTIONS: CPP

/*
 * Functions that directly access JavaScript strings, ignoring character
 * widths and surrogate pairs.
 */

function h$jsstringRawChunksOf(k, x) {
    var l = x.length;
    if(l === 0) return HS_NIL;
    if(l <=  k) return MK_CONS(MK_JSVAL(x), HS_NIL);
    var r=HS_NIL;
    for(var i=ls-k;i>=0;i-=k) r = MK_CONS(MK_JSVAL(x.substr(i,i+k)),r);
    return r;
}

function h$jsstringRawSplitAt(k, x) {
    if(k ===       0) return MK_TUP2(h$jsstringEmpty, MK_JSVAL(x));
    if(k >= x.length) return MK_TUP2(MK_JSVAL(x), h$jsstringEmpty);
    return MK_TUP2(MK_JSVAL(x.substr(0,k)), MK_JSVAL(x.substr(k)));
}