Runs the Hamazed game.

If your current terminal window is too small, the program will error and tell you what is the minimum window size to run the game.

The game doesn't run on Windows, because with GHC, IO operations cannot be interrupted on Windows.

Returns the next Deadline to handle.

We prefer having time-accurate game motions for central items of the game (the BattleShip, the Numbers) than having time-accurate explosive Animations.

Hence, when multiple overdue deadlines are competing, the following priorities apply (higher number = higher priority):

\[ \newcommand\T{\Rule{0pt}{.5em}{.3em}} \begin{array}{|c|c|c|} \hline \textbf{ Priority } \T & \textbf{ Name } \T & \textbf{ Description } \\\hline \text{ 5 } & \text{ AnimateUI } \T & \text{ Inter-level animations } \\\hline \text{ 4 } & \text{ DisplayContinueMessage } \T & \textit{ Press a key to continue } \\\hline \text{ 3 } & \text{ MoveFlyingItems } \T & \text{ Move the BattleShip and Numbers } \\\hline \text{ 2 } & \textit{ Player event } \T & \text{ Handle a key-press } \\\hline \text{ 1 } & \text{ Animate } \T & \text{ Update animations (explosions and others)} \\\hline \end{array} \]

When no Deadline is overdue, we return the closest one in time, irrespective of its priority.

Returns a player event or the Event associated to the Deadline if the Deadline expired before the player could press a Key.

Updates the state. It needs IO just to generate random numbers in case Event is StartLevel

Renders the game to the screen, using Imj.Graphics.Render.Delta to avoid screen tearing.

A foreseen game or animation update.

The environment of Hamazed program

Constructor of Env

Maps a Key (pressed by the player) to an Event.

Manages the progress and deadline of UIEvolutions.