Safe Haskell | None |
---|
- class BasicUIBackend uiBackend => ContainerUIBackend uiBackend where
- data Cell uiBackend :: * -> *
- 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
- 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 whereSource
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 TextCellDisplaySource
progressCell :: Cell uiBackend ProgressCellDisplaySource