Graphics.UI.GLUT.Window

# Window identifiers

data Window

# Creating and destroying (sub-)windows

createWindow

createSubWindow

destroyWindow

parentWindow

numSubWindows

# Manipulating the current window

currentWindow

# Re-displaying and double buffer management

postRedisplay

swapBuffers

# Changing the window geometry

windowPosition

windowSize

fullScreen

fullScreenToggle

# Manipulating the stacking order

pushWindow

popWindow

# Managing a window's display status

data WindowStatus

windowStatus

# Changing the window/icon title

windowTitle

iconTitle

# Cursor management

data Cursor

cursor

pointerPosition