Safe Haskell | None |
---|---|
Language | Haskell98 |
- class BasicUIBackend uiBackend => ContainerUIBackend uiBackend where
- data Column uiBackend el where
- data TextCellDisplay = TextCellDisplay String (RGB Fraction)
- data ProgressCellDisplay = ProgressCellDisplay Fraction (Maybe String)
- data Availability
- = Never
- | AsNecessary
- | Always
- data Elements = Elements
- data Columns = Columns
- data HasScrollbars = HasScrollbars
- data Selection = Selection
Interface
class BasicUIBackend uiBackend => ContainerUIBackend uiBackend where Source #
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))) Source #
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))) Source #
textCell :: Cell uiBackend TextCellDisplay Source #
progressCell :: Cell uiBackend ProgressCellDisplay Source #