Graphics.UI.Grapefruit.GTK

This module provides a GTK+-based UI backend.

Documentation

data GTK

Denotes the GTK+-based UI backend.

See the documentation of Graphics.UI.Grapefruit.Backend for an introduction to UI backends.

Constructors

GTK

Instances

ContainerUIBackend GTK

Associated Types

data Cell GTK a :: *

Methods

listView :: Brick Widget GTK (((X :& (Req Elements ::: Of ISignal (Seq el))) :& (Req Columns ::: Of ISignal (Seq (Column GTK el)))) :& (Opt HasScrollbars ::: Of SSignal (Orientation -> Availability))) (X :& (Selection ::: Of SSignal (Seq el)))

setView :: Ord el => Brick Widget GTK (((X :& (Req Elements ::: Of ISignal (Set el))) :& (Req Columns ::: Of ISignal (Seq (Column GTK el)))) :& (Opt HasScrollbars ::: Of SSignal (Orientation -> Availability))) (X :& (Selection ::: Of SSignal (Set el)))

textCell :: Cell GTK TextCellDisplay

progressCell :: Cell GTK ProgressCellDisplay

BasicUIBackend GTK

Methods

label :: Brick Widget GTK (X :& (Req Text ::: Of SSignal String)) X

pushButton :: Brick Widget GTK (X :& (Req Text ::: Of SSignal String)) (X :& (Push ::: Of DSignal ()))

lineEditor :: Brick Widget GTK X (X :& (Content ::: Of SSignal String))

box :: Orientation -> Box UICircuit Widget Widget GTK X X

window :: Box UIItem Widget Window GTK (X :& (Req Title ::: Of SSignal String)) (X :& (Closure ::: Of DSignal ()))

UIBackend GTK

Associated Types

type WidgetPlacement GTK :: *

type WindowPlacement GTK :: *

Methods

initialize :: GTK -> IO ()

handleEvents :: GTK -> IO ()

requestQuitting :: GTK -> IO ()

finalize :: GTK -> IO ()

topLevel :: GTK -> Placement Window GTK

data Cell GTK

data Cell GTK where

• Cell :: Cell GTK display

type WindowPlacement GTK

type WindowPlacement GTK = Window -> IO ()

type WidgetPlacement GTK

type WidgetPlacement GTK = Widget -> IO ()