git.iko.soy/rel8
on cf8bdc7 help sign in
cf8bdc7Add constructors for HKDShane O'Brien 7a526b6Generalize constructor functions in Rel8.Table.ADT to Rel8.Generic.ConstructionShane O'Brien 9fd885fInclude both Apply and "Legacy" variants of aggregateADTShane O'Brien 845516aAdd constructADT, deconstructADT, nameADT, insertADT, aggregateADT to Rel8.Table.ADTShane O'Brien 2cdc394The guts of the new Generic construction machineryShane O'Brien fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien 23bb65bDrop Encodes and litTable, they don't seem necessaryShane O'Brien fb3d2d9Add EqTable and OrdTable instances for HKDShane O'Brien 6e42c1eUnfold Rel8.Schema.HKD into Rel8.Generic.HKD and Rel8.Column.LiftShane O'Brien 95a2ebfUnfold Rel8.Schema.Field into Rel8.Column.*Shane O'Brien 6ecc65fRemove obsolete Rel8.Schema.StructureShane O'Brien 356d591Fold Rel8.Schema.Context.Result into Rel8.Schema.ContextShane O'Brien c8341c1Reverse dependency between Rel8.Schema.Context and Rel8.Schema.ResultShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien 6c20afaAdd Rel8.Generic.Table.ADTShane O'Brien 8cf243eMerge pull request #45 from circuithub/expose-array1dShane e432f6dSplit greify and gunreify out of GTableShane O'Brien b2e2fc9Expose Array1D constructorGary Pamparà 1c73ec6Add reify and unreify to Table classShane O'Brien 1276bebUse FCF to decouple GTable from TableShane O'Brien 3e8f632Rough documentation for constructing orderingsOliver Charles 26ccab3Change arguments to listAggWithOrderShane O'Brien 5160431Add ability to specify ordering with list aggregationsShane O'Brien 675dc60Correct encoders for Infinity, -Infinity and NaNOllie Charles 93638f8Export Composite and EnumShane O'Brien 7c4c6ffAdd Enum and Composite deriving via helpersShane O'Brien b8ff282Add instances for 6 and 7 tuples (after all, they're free now)Shane O'Brien fb21075Add better generic deriving for EqTable, OrdTable and ToExprsShane O'Brien 6d3959eAllow generic deriving of Table instances for non-record typesShane O'Brien 6ca25e5Add generic default for Table class, and share its implementation with Rel8ableShane O'Brien 47e7842Sketch of HKD-lifting of Generic typesShane O'Brien 242dc79Add and export KRel8ableOliver Charles 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien f6a9c96Fix array1DAggExprShane O'Brien ba684c0Export Array1DShane O'Brien b0e6053Add array1DAggExprShane O'Brien e52dd75Exports to allow users to define Table themselvesOllie Charles 2283f03Restore HTable superclass to Rel8ableShane O'Brien 11a2229Simplify Column type familyShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien 09e449bFix typo in createViewShane O'Brien ef91171Document LEFT JOINsOllie Charles 895e5fdDocument inner joinsOllie Charles 8202368Document how to filter queriesOllie Charles 55fef87Document 'Limit and offset'Ollie Charles e1ea597Finish documenting the DBType hierarchyOllie Charles 9ef8fd8Upgrade Haskell.nix and remove data-serializer workaroundOllie Charles 71aac66Update build.yamlOllie Charles 197c38bRemove commented out codeShane O'Brien