on da76712 help sign in
all commits
c060f6bAdd alignMaybeTable (#196)Shane 032242fAdd Projection and Field (#112)Shane f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane e0a1851Replace Recontextualize type class with Transpose associated type (#109)Shane 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane be54907Introduce Rel8.Table.Nullify (#104)Shane 991998aGet rid of Rel8.Table.Unreify and all remaining uses of QuantifiedConstraints (#103)Shane 707a36aAdd context parameter to *Table types (#101)Shane 716d9f1Clean up ConstrainDBType (#100)Shane 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane bff98feExpand documentation of Rel8.Table.These combinatorsShane O'Brien 531d21cDocument name* functionsOllie Charles 1a3c3c1Document Rel8.Table.TheseOllie Charles 1eaa683Get rid of defaulting and insert context altogetherShane O'Brien a9f500eAbandon Apply Aggregate experiment, support only Context AggregateShane O'Brien d07e3b5Add and export missing constructors for MaybeTable and friendsShane O'Brien 8a680c9Reverse dependency between MaybeTable (and friends) and SerializableShane O'Brien 1c73ec6Add reify and unreify to Table classShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien b135026We don't need the Identity instance for Taggable, dropping it simplifies thingsShane O'Brien e3bde04Introduce more principled way to aggregate and name {Either,Maybe,These}TablesShane O'Brien 24f0521Fill in missing EqTable and OrdTable instancesShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien