module type Sketch = Sketch.Sketchtype state
The type of the state, used for all information stored between frames.
module R:Renderer.Renderer
val display : Renderer.displayThe type of the display, e.g. `Size (400, 400).
val setup : Config.config -> statesetup config is the initial state.
val loop : Config.config -> state -> stateloop config state is the state that results after advancing
state through one time step.
val draw : Config.config -> state -> Shape.tdraw config state is the shape that should be drawn in the
given state.
val mouse_pressed : Config.config -> state -> statemouse_pressed config state is the state that results after the
mouse is pressed in state. Mouse information can be obtained
from config.
val mouse_released : Config.config -> state -> statemouse_released config state is the state results after the
mouse is released in state. Mouse information can be obtained
from config.
val mouse_moved : Config.config -> state -> statemouse_moved config state is the state that results after the
mouse is moved in state. Mouse information can be obtained from
config.
val mouse_dragged : Config.config -> state -> statemouse_dragged config state is the state that results after the
mouse is dragged (moved while pressed) in state. Mouse
information can be obtained from config.
val mouse_clicked : Config.config -> state -> statemouse_clicked config state is the state that results after the
mouse is clicked (pressed and then released) in state. Mouse
information can be obtained from config.
val mouse_scrolled : Config.config -> state -> statemouse_scrolled config state is the state that results after
the mouse is scrolled in state. Mouse information can be
obtained from config.
val key_pressed : Config.config -> state -> statekey_pressed config state is the state that results after a key
is pressed in state. Key information can be obtained from
config.
val key_released : Config.config -> state -> statekey_released config state is the state that results after a
key is released in state. Key information can be obtained from
config.
val key_typed : Config.config -> state -> statekey_typed config state is the state that results after a key
is typed (pressed and released) in state. Key information can
be obtained from config.
val window_resized : Config.config -> state -> statewindow_resized config state is the state that results after
the window is resized in state. Window information can be
obtained from config.
val window_closed : Config.config -> state -> statewindow_closed config state is the state that results after the
window is closed in state. Window information can be obtained
from config. The default action is to raise Exit.