| Safe Haskell | None |
|---|
Graphics.UI.Grapefruit.Backend.Basic
Contents
Description
This module declares a subclass of UIBackend with methods that every reasonable UI backend
should implement.
- class UIBackend uiBackend => BasicUIBackend uiBackend where
- label :: Brick Widget uiBackend (X :& (Req Text ::: (SSignal `Of` String))) X
- pushButton :: Brick Widget uiBackend (X :& (Req Text ::: (SSignal `Of` String))) (X :& (Push ::: (DSignal `Of` ())))
- lineEditor :: Brick Widget uiBackend X (X :& (Content ::: (SSignal `Of` String)))
- box :: Orientation -> Box UICircuit Widget Widget uiBackend X X
- window :: Box UIItem Widget Window uiBackend (X :& (Req Title ::: (SSignal `Of` String))) (X :& (Closure ::: (DSignal `Of` ())))
- data Orientation
- = Horizontal
- | Vertical
- data Caption
- data Closure = Closure
- data Content = Content
- data Push = Push
- data Text = Text
- data Title = Title
Interface
class UIBackend uiBackend => BasicUIBackend uiBackend whereSource
A subclass of UIBackend which declares basic bricks and boxes.
Methods
label :: Brick Widget uiBackend (X :& (Req Text ::: (SSignal `Of` String))) XSource
A widget showing one line of text.
pushButton :: Brick Widget uiBackend (X :& (Req Text ::: (SSignal `Of` String))) (X :& (Push ::: (DSignal `Of` ())))Source
A push button.
lineEditor :: Brick Widget uiBackend X (X :& (Content ::: (SSignal `Of` String)))Source
An editor for a single line of text.
box :: Orientation -> Box UICircuit Widget Widget uiBackend X XSource
A widget which aggregates and arbitrary number of other widgets.
window :: Box UIItem Widget Window uiBackend (X :& (Req Title ::: (SSignal `Of` String))) (X :& (Closure ::: (DSignal `Of` ())))Source
An ordinary window.
Utilities
A caption of a widget with an optional hotkey marker.
Currently, this type is not used.
Constructors
| ColdCaption String | a caption without a hotkey |
| HotCaption String Char String | a caption consisting of a prefix string, a hotkey and a suffix string |
Field names
A field name.
Typical properties:
Constructors
| Closure |
A field name.
Typical properties:
Constructors
| Content |
A field name.
Typical properties:
Constructors
| Push |
A field name.
Typical properties:
Constructors
| Text |