on 29cdfdb help sign in
all commits
032242fAdd Projection and Field (#112)Shane f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane 97d89cfRemove Interpretation and Col (#107)Ollie Charles 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane be54907Introduce Rel8.Table.Nullify (#104)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 1eaa683Get rid of defaulting and insert context altogetherShane O'Brien a9f500eAbandon Apply Aggregate experiment, support only Context AggregateShane O'Brien 0f76861Make all Col constructors single letter wrappersShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 2ff1c5fFix warningsShane 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 53616d0Simplify Spec to just labels, necessity and typeShane 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 06f67cfIntroduce Array1D for interfacing with conventional postgres arrays, rendering the IsList stuff unnecessaryShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien