Graphics.UI.Grapefruit.Backend.Container

Interface

class BasicUIBackend uiBackend => ContainerUIBackend uiBackend where

Minimal complete definition

listView, setView, textCell, progressCell

Associated Types

data Cell uiBackend :: * -> *

Methods

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

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

textCell :: Cell uiBackend TextCellDisplay

progressCell :: Cell uiBackend ProgressCellDisplay

Utilities

data Column uiBackend el where

Constructors

Column :: String -> (el -> display) -> Cell uiBackend display -> Column uiBackend el

data TextCellDisplay

Constructors

TextCellDisplay String (RGB Fraction)

data ProgressCellDisplay

Constructors

ProgressCellDisplay Fraction (Maybe String)

data Availability

Constructors

Never

AsNecessary

Always

Field names

data Elements

Constructors

Elements

data Columns

Constructors

Columns

data HasScrollbars

Constructors

HasScrollbars

data Selection

Constructors

Selection