The GLFWInput monad is simply the GLFWInputT transformer around the identity monad.

Runs the GLFWInput computation with a current input snapshot and returns the potentially modified input.

The GLFWInputT monad transformer is simply a state monad transformer using GLFWInputState

To execute a computation with the current input snapshot, we need to give supply the current GLFWInputState. This comes from the GLFWInputControl associated with the given window.

Describes a monad that provides stateful access to a GLFWInputState. By being able to modify the state, the context that satisfies this typeclass can decide to debounce or "take ownership" of the button presses at a specific point of the computation. This should be done via the MonadKey and MonadMouse instances.

This is an STM variable that holds the current input state. It cannot be manipulated directly, but it is updated by GLFW each time pollGLFW is called.

The GLFW input state is a record that keeps track of which buttons and keys are currently pressed. Because GLFW works with callbacks, a call to pollEvents must be made in order to process any of the events. At this time, all of the appropriate callbacks are fired in order of the events received, and this record is updated to reflect the most recent input state.

Returns the empty GLFW state. In this state, no buttons are pressed, and the mouse and scroll positions are set to zero. The cursor is also placed in the disabled state.

Returns a current snapshot of the input

Creates and returns an STM variable for the window that holds all of the most recent input state information

Allows GLFW to interact with the windowing system to update the current state. The old state must be passed in order to properly reset certain properties such as the scroll wheel. The returned input state is identical to a subsequent call to getInput right after a call to pollEvents