HORIZON HASKELLDocslts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

  • Packagesdl2-2.5.6.1
  • Exports42
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceVideo.hs

Window Management

newtypenewtype Window
#
Instances6Eq, Data, Ord, Show, Generic, Rep
datadata WindowConfig
#

Constructors

Instances6Eq, Ord, Read, Show, Generic, Rep

Configuration of additional graphics context that will be created for window.

Can not be changed after window creation.

Constructors

Instances6Eq, Ord, Read, Show, Generic, Rep
datadata WindowMode
#

Constructors

Instances11Bounded, Enum, Eq, Data, Ord, Read, …
datadata WindowPosition
#

Constructors

Instances6Eq, Ord, Read, Show, Generic, Rep

Window Actions

Window Attributes

Get or set the window's brightness, where 0.0 is completely dark and 1.0 is normal brightness.

Throws SDLException if the hardware does not support gamma correction, or if the system has run out of memory.

This StateVar can be modified using $= and the current value retrieved with get.

Gets or sets the gamma ramp for the display that owns a given window.

Note that the data for the gamma ramp - the V3 (Vector Word16) - must contain 256 element arrays. This triple is a set of translation vectors for each of the 16-bit red, green and blue channels.

This StateVar can be modified using $= and the current value retrieved with get.

Despite the name and signature, this method retrieves the gamma ramp of the entire display, not an individual window. A window is considered to be owned by the display that contains the window's center pixel.

datadata PixelFormat
#
Instances9Eq, Data, Ord, Read, Show, Generic, …

Renderer Management

Clipboard Handling

Display

datadata Display
#

Constructors

Instances6Eq, Ord, Read, Show, Generic, Rep
datadata DisplayMode
#

Constructors

Instances6Eq, Ord, Read, Show, Generic, Rep
datadata VideoDriver
#
Instances7Eq, Data, Ord, Read, Show, Generic, …

Screen Savers

Screen savers should be disabled when the sudden enablement of the monitor's power saving features would be inconvenient for when the user hasn't provided any input for some period of time, such as during video playback.

Screen savers are disabled by default upon the initialization of the video subsystem.

Message Box

datadata MessageKind
#
Instances10Bounded, Enum, Eq, Data, Ord, Read, …