Fields

• cell :: row -> ColumnIndex -> Maybe cell

  Function for obtaining a column of a row

• rowHdr :: Maybe (row -> RowIndex -> Maybe rowH)

  Function for getting row header

• colHdr :: Maybe (ColumnIndex -> Maybe colH)

  Function for getting column header

Fields

• drawCell :: ListFocused -> Position -> row -> Maybe cell -> Widget n
   
• drawRowHdr :: Maybe (ListFocused -> WidthDeficit -> Position -> row -> Maybe rowH -> Widget n)
   
• drawColHdr :: Maybe (ListFocused -> ColumnIndex -> Maybe colH -> Widget n)
   

Fields

• rowKind :: row -> [Width]

  Widths for each row kind. Use pattern matching to detect the kind of each row. Usually, a row kind is a data constructor of row. The returned widths should be pre-calculated widths. If widths are calculated in this function, width calculation will be repeated at every row. If the function is given pre-calculated widths, width calculation is done only once.

• colHdr :: Maybe ([Width], Height)

  Widths and height for column headers. Widths and height don't have to be pre-calculated because column headers are only drawn once. Because they are drawn once, any calculation done in this field is also done only once.

Fields

• rowHdr :: Maybe (RowHeaderWidth rowH)

  Width for row headers

• colSizes :: CalcColSizes row

  Function for calculating column sizes after row header width is calculated

Fields

• list :: GenericList n Seq row

  The underlying primitive list that comes from brick

• sizes :: MixedSizes row rowH
   
• contents :: MixedContents row cell rowH colH