on db148ff help sign in
all commits
8a680c9Reverse dependency between MaybeTable (and friends) and SerializableShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien 23bb65bDrop Encodes and litTable, they don't seem necessaryShane O'Brien c8341c1Reverse dependency between Rel8.Schema.Context and Rel8.Schema.ResultShane O'Brien 66dc44dTeach Table and friends about Sum typesShane 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 47e7842Sketch of HKD-lifting of Generic typesShane O'Brien 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien e52dd75Exports to allow users to define Table themselvesOllie Charles 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 6e001f8Lots more docsOliver Charles 0b34a14Clean up Serializable and introduce litTableShane O'Brien c220b00Tidy up IsMaybe ~ 'False with NotNull constraint synonym (fixes #23)Shane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien b983defMagic Sql constraint synonymShane O'Brien bfda1daDocument SerializableOllie Charles 06f67cfIntroduce Array1D for interfacing with conventional postgres arrays, rendering the IsList stuff unnecessaryShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien