bucklescript-tea
Version:
TEA for Bucklescript
75 lines (64 loc) • 1.41 kB
JavaScript
// Generated by BUCKLESCRIPT, PLEASE EDIT WITH CARE
;
function length($$window) {
var match = $$window.history;
if (match !== undefined) {
return match.length;
} else {
return -1;
}
}
function back($$window) {
var match = $$window.history;
if (match !== undefined) {
return match.back;
} else {
return /* () */0;
}
}
function forward($$window) {
var match = $$window.history;
if (match !== undefined) {
return match.forward;
} else {
return /* () */0;
}
}
function go($$window, to$prime) {
var match = $$window.history;
if (match !== undefined) {
return match.go(to$prime);
} else {
return /* () */0;
}
}
function pushState($$window, state, title, url) {
var match = $$window.history;
if (match !== undefined) {
return match.pushState(state, title, url);
} else {
return /* () */0;
}
}
function replaceState($$window, state, title, url) {
var match = $$window.history;
if (match !== undefined) {
return match.replaceState(state, title, url);
} else {
return /* () */0;
}
}
function state($$window) {
var match = $$window.history;
if (match !== undefined) {
return match.state;
}
}
exports.length = length;
exports.back = back;
exports.forward = forward;
exports.go = go;
exports.pushState = pushState;
exports.replaceState = replaceState;
exports.state = state;
/* No side effect */