├── .gitignore ├── DataFrame.idr ├── DataFrame ├── Columns.idr ├── DataFrame.idr ├── Expr.idr ├── IO.idr ├── Ops.idr ├── Pretty.idr ├── Row.idr ├── Signature.idr ├── Summarise.idr ├── Utils.idr └── Vector.idr ├── README.md ├── example.csv └── example.idr /.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | wiki.csv 3 | /test.idr 4 | -------------------------------------------------------------------------------- /DataFrame.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame.idr -------------------------------------------------------------------------------- /DataFrame/Columns.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Columns.idr -------------------------------------------------------------------------------- /DataFrame/DataFrame.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/DataFrame.idr -------------------------------------------------------------------------------- /DataFrame/Expr.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Expr.idr -------------------------------------------------------------------------------- /DataFrame/IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/IO.idr -------------------------------------------------------------------------------- /DataFrame/Ops.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Ops.idr -------------------------------------------------------------------------------- /DataFrame/Pretty.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Pretty.idr -------------------------------------------------------------------------------- /DataFrame/Row.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Row.idr -------------------------------------------------------------------------------- /DataFrame/Signature.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Signature.idr -------------------------------------------------------------------------------- /DataFrame/Summarise.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Summarise.idr -------------------------------------------------------------------------------- /DataFrame/Utils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Utils.idr -------------------------------------------------------------------------------- /DataFrame/Vector.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/DataFrame/Vector.idr -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/README.md -------------------------------------------------------------------------------- /example.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/example.csv -------------------------------------------------------------------------------- /example.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ziman/idris-data-frame/HEAD/example.idr --------------------------------------------------------------------------------