UNPKG

bucklescript-tea

Version:
75 lines (64 loc) 1.41 kB
// Generated by BUCKLESCRIPT, PLEASE EDIT WITH CARE 'use strict'; 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 */