// Generated by BUCKLESCRIPT, PLEASE EDIT WITH CARE
'use strict';

var React = require("react");
var Buffer$AgdaMode = require("../View/Panel/InputMethod/Buffer.bs.js");

var Header = { };

var emitter = React.createContext((function (_ev) {
        return /* () */0;
      }));

var make = emitter.Provider;

var Provider = {
  make: make
};

var Mouse = {
  emitter: emitter,
  Provider: Provider
};

function reducer(_state, action) {
  return {
          inputMethod: action[0]
        };
}

var initialState = {
  inputMethod: {
    activated: false,
    markers: [],
    buffer: Buffer$AgdaMode.initial
  }
};

var debugDispatch = React.createContext((function (param) {
        return /* () */0;
      }));

var make$1 = debugDispatch.Provider;

var Provider$1 = {
  make: make$1
};

var Debug = {
  reducer: reducer,
  initialState: initialState,
  debugDispatch: debugDispatch,
  Provider: Provider$1
};

exports.Header = Header;
exports.Mouse = Mouse;
exports.Debug = Debug;
/* emitter Not a pure module */
