on 2ba99ea help sign in
all commits
0f76861Make all Col constructors single letter wrappersShane O'Brien 2615b89Unify HType and HIdentityShane 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 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 e432f6dSplit greify and gunreify out of GTableShane O'Brien 1c73ec6Add reify and unreify to Table classShane O'Brien 1276bebUse FCF to decouple GTable from TableShane 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 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien 197c38bRemove commented out codeShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 3a54a58More docsOliver Charles 0b34a14Clean up Serializable and introduce litTableShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien b60b6b8Document TableOllie Charles 9b5abf2Use data family for HTable contextsShane O'Brien b983defMagic Sql constraint synonymShane O'Brien 06f67cfIntroduce Array1D for interfacing with conventional postgres arrays, rendering the IsList stuff unnecessaryShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien