Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

DataFrame – Tabular Data

Lean: Hale.DataFrame | Haskell: dataframe (adapted)

Tabular data structure with typed columns, supporting subset, sort, join, aggregation, statistics, and CSV I/O.

Modules

ModuleDescription
Internal.TypesCore DataFrame/Column types
Internal.ColumnColumn operations
Operations.SubsetRow/column selection
Operations.SortSorting
Operations.AggregationGroup-by and aggregation
Operations.JoinInner/outer joins
Operations.StatisticsMean, std, quantiles
Operations.TransformMap, filter, apply
IO.CSVCSV read/write
DisplayPretty-printing

Files

  • Hale/DataFrame/DataFrame.lean – Re-exports
  • Hale/DataFrame/DataFrame/Internal/Types.lean – Core types
  • Hale/DataFrame/DataFrame/Internal/Column.lean – Column operations
  • Hale/DataFrame/DataFrame/Operations/*.lean – Operations
  • Hale/DataFrame/DataFrame/IO/CSV.lean – CSV I/O
  • Hale/DataFrame/DataFrame/Display.lean – Display