├── .github └── workflows │ └── run-tests.yml ├── .gitignore ├── B2T2 ├── B2T2.idr ├── B2T2 │ ├── Errors │ │ ├── MalformedTables │ │ │ ├── MissingCell.idr │ │ │ ├── MissingRow.idr │ │ │ ├── MissingSchema.idr │ │ │ ├── SchemaTooLong.idr │ │ │ ├── SchemaTooShort.idr │ │ │ └── SwappedColumns.idr │ │ └── UsingTables │ │ │ ├── BlackAndWhite.idr │ │ │ ├── BrownGetAcne.idr │ │ │ ├── BrownJellyBeans.idr │ │ │ ├── EmployeeToDepartment.idr │ │ │ ├── FavoriteColor.idr │ │ │ ├── GetOnlyRow.idr │ │ │ ├── MidFinal.idr │ │ │ └── PieCount.idr │ ├── ExamplePrograms.idr │ ├── ExamplePrograms │ │ ├── DotProduct.idr │ │ ├── GroupBy.idr │ │ ├── PHacking.idr │ │ ├── PHacking │ │ │ └── FisherTest.idr │ │ ├── QuizScoreFilter.idr │ │ ├── QuizScoreSelect.idr │ │ ├── SampleRows.idr │ │ └── SampleRows │ │ │ └── Probability.idr │ └── ExampleTables.idr ├── Datasheet.md ├── Makefile └── b2t2.ipkg ├── Data ├── Table.idr └── Table │ ├── Column.idr │ ├── Column │ └── Homogeneous.idr │ ├── Data.idr │ ├── Record.idr │ ├── Row.idr │ ├── Row │ ├── Aggregate.idr │ ├── Constructor.idr │ ├── Frame.idr │ ├── HasRows.idr │ ├── Interface.idr │ └── Quantifiers.idr │ ├── Schema.idr │ ├── Schema │ ├── Data.idr │ ├── Index.idr │ ├── Quantifiers.idr │ └── Subschema.idr │ └── Show.idr ├── LICENSE ├── Makefile ├── README.md ├── table.ipkg └── tests ├── B2T2 ├── DotProduct │ ├── expected │ └── run ├── Errors │ ├── expected │ └── run ├── GroupBy │ ├── expected │ └── run ├── PHacking │ ├── expected │ └── run ├── QuizScoreFilter │ ├── expected │ └── run ├── QuizScoreSelect │ ├── expected │ └── run └── SampleRows │ ├── Samples.idr │ ├── expected │ └── run ├── Column ├── ExampleTable.idr ├── expected └── run ├── Frame ├── ExampleTables.idr ├── expected └── run ├── Makefile ├── Record ├── ExampleRecord.idr ├── expected └── run ├── Row ├── ExampleTables.idr ├── expected └── run ├── Schema ├── ExampleSchema.idr ├── expected └── run ├── Show ├── ExampleTables.idr ├── expected └── run ├── Table ├── ExampleTable.idr ├── expected └── run ├── TableTests.idr ├── table-tests.ipkg └── testutils.sh /.github/workflows/run-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/.github/workflows/run-tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/.gitignore -------------------------------------------------------------------------------- /B2T2/B2T2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/MalformedTables/MissingCell.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/MalformedTables/MissingCell.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/MalformedTables/MissingRow.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/MalformedTables/MissingRow.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/MalformedTables/MissingSchema.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/MalformedTables/MissingSchema.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/MalformedTables/SchemaTooLong.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/MalformedTables/SchemaTooLong.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/MalformedTables/SchemaTooShort.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/MalformedTables/SchemaTooShort.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/MalformedTables/SwappedColumns.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/MalformedTables/SwappedColumns.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/BlackAndWhite.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/BlackAndWhite.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/BrownGetAcne.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/BrownGetAcne.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/BrownJellyBeans.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/BrownJellyBeans.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/EmployeeToDepartment.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/EmployeeToDepartment.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/FavoriteColor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/FavoriteColor.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/GetOnlyRow.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/GetOnlyRow.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/MidFinal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/MidFinal.idr -------------------------------------------------------------------------------- /B2T2/B2T2/Errors/UsingTables/PieCount.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/Errors/UsingTables/PieCount.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/DotProduct.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/DotProduct.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/GroupBy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/GroupBy.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/PHacking.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/PHacking.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/PHacking/FisherTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/PHacking/FisherTest.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/QuizScoreFilter.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/QuizScoreFilter.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/QuizScoreSelect.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/QuizScoreSelect.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/SampleRows.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/SampleRows.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExamplePrograms/SampleRows/Probability.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExamplePrograms/SampleRows/Probability.idr -------------------------------------------------------------------------------- /B2T2/B2T2/ExampleTables.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/B2T2/ExampleTables.idr -------------------------------------------------------------------------------- /B2T2/Datasheet.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/Datasheet.md -------------------------------------------------------------------------------- /B2T2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/Makefile -------------------------------------------------------------------------------- /B2T2/b2t2.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/B2T2/b2t2.ipkg -------------------------------------------------------------------------------- /Data/Table.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table.idr -------------------------------------------------------------------------------- /Data/Table/Column.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Column.idr -------------------------------------------------------------------------------- /Data/Table/Column/Homogeneous.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Column/Homogeneous.idr -------------------------------------------------------------------------------- /Data/Table/Data.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Data.idr -------------------------------------------------------------------------------- /Data/Table/Record.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Record.idr -------------------------------------------------------------------------------- /Data/Table/Row.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row.idr -------------------------------------------------------------------------------- /Data/Table/Row/Aggregate.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row/Aggregate.idr -------------------------------------------------------------------------------- /Data/Table/Row/Constructor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row/Constructor.idr -------------------------------------------------------------------------------- /Data/Table/Row/Frame.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row/Frame.idr -------------------------------------------------------------------------------- /Data/Table/Row/HasRows.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row/HasRows.idr -------------------------------------------------------------------------------- /Data/Table/Row/Interface.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row/Interface.idr -------------------------------------------------------------------------------- /Data/Table/Row/Quantifiers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Row/Quantifiers.idr -------------------------------------------------------------------------------- /Data/Table/Schema.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Schema.idr -------------------------------------------------------------------------------- /Data/Table/Schema/Data.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Schema/Data.idr -------------------------------------------------------------------------------- /Data/Table/Schema/Index.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Schema/Index.idr -------------------------------------------------------------------------------- /Data/Table/Schema/Quantifiers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Schema/Quantifiers.idr -------------------------------------------------------------------------------- /Data/Table/Schema/Subschema.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Schema/Subschema.idr -------------------------------------------------------------------------------- /Data/Table/Show.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Data/Table/Show.idr -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/README.md -------------------------------------------------------------------------------- /table.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/table.ipkg -------------------------------------------------------------------------------- /tests/B2T2/DotProduct/expected: -------------------------------------------------------------------------------- 1 | 183 2 | 3 | -------------------------------------------------------------------------------- /tests/B2T2/DotProduct/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/DotProduct/run -------------------------------------------------------------------------------- /tests/B2T2/Errors/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/Errors/expected -------------------------------------------------------------------------------- /tests/B2T2/Errors/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/Errors/run -------------------------------------------------------------------------------- /tests/B2T2/GroupBy/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/GroupBy/expected -------------------------------------------------------------------------------- /tests/B2T2/GroupBy/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/GroupBy/run -------------------------------------------------------------------------------- /tests/B2T2/PHacking/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/PHacking/expected -------------------------------------------------------------------------------- /tests/B2T2/PHacking/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/PHacking/run -------------------------------------------------------------------------------- /tests/B2T2/QuizScoreFilter/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/QuizScoreFilter/expected -------------------------------------------------------------------------------- /tests/B2T2/QuizScoreFilter/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/QuizScoreFilter/run -------------------------------------------------------------------------------- /tests/B2T2/QuizScoreSelect/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/QuizScoreSelect/expected -------------------------------------------------------------------------------- /tests/B2T2/QuizScoreSelect/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/QuizScoreSelect/run -------------------------------------------------------------------------------- /tests/B2T2/SampleRows/Samples.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/SampleRows/Samples.idr -------------------------------------------------------------------------------- /tests/B2T2/SampleRows/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/SampleRows/expected -------------------------------------------------------------------------------- /tests/B2T2/SampleRows/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/B2T2/SampleRows/run -------------------------------------------------------------------------------- /tests/Column/ExampleTable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Column/ExampleTable.idr -------------------------------------------------------------------------------- /tests/Column/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Column/expected -------------------------------------------------------------------------------- /tests/Column/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Column/run -------------------------------------------------------------------------------- /tests/Frame/ExampleTables.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Frame/ExampleTables.idr -------------------------------------------------------------------------------- /tests/Frame/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Frame/expected -------------------------------------------------------------------------------- /tests/Frame/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Frame/run -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/Record/ExampleRecord.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Record/ExampleRecord.idr -------------------------------------------------------------------------------- /tests/Record/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Record/expected -------------------------------------------------------------------------------- /tests/Record/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Record/run -------------------------------------------------------------------------------- /tests/Row/ExampleTables.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Row/ExampleTables.idr -------------------------------------------------------------------------------- /tests/Row/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Row/expected -------------------------------------------------------------------------------- /tests/Row/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Row/run -------------------------------------------------------------------------------- /tests/Schema/ExampleSchema.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Schema/ExampleSchema.idr -------------------------------------------------------------------------------- /tests/Schema/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Schema/expected -------------------------------------------------------------------------------- /tests/Schema/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Schema/run -------------------------------------------------------------------------------- /tests/Show/ExampleTables.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Show/ExampleTables.idr -------------------------------------------------------------------------------- /tests/Show/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Show/expected -------------------------------------------------------------------------------- /tests/Show/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Show/run -------------------------------------------------------------------------------- /tests/Table/ExampleTable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Table/ExampleTable.idr -------------------------------------------------------------------------------- /tests/Table/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Table/expected -------------------------------------------------------------------------------- /tests/Table/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/Table/run -------------------------------------------------------------------------------- /tests/TableTests.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/TableTests.idr -------------------------------------------------------------------------------- /tests/table-tests.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/table-tests.ipkg -------------------------------------------------------------------------------- /tests/testutils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/madman-bob/idris2-table/HEAD/tests/testutils.sh --------------------------------------------------------------------------------