e548510Add back runTabulation, but with explicit keysShane O'Brien5 years ago a3b32bdunnest supportShane O'Brien5 years ago d08428crunTabulation will never be sound as long as Tabulation is a MonadShane O'Brien5 years ago 3017f59Always use `ROW(NULL)` and not `NULL`Shane O'Brien5 years ago 4475085Eliminate the need for Array1D (i.e., unify with [])Shane O'Brien5 years ago bdb75e6Now that we have `orderTabulation`, I'm not sure we need `listAggWithOrder` and friendsShane O'Brien5 years ago db40580Add singularize to Rel8.TabulateShane O'Brien5 years ago 06f34d2Export emptyTableShane O'Brien5 years ago 2a63c78Tweak Rel8.Tabulate so that optionalTabulation works with runTabulationShane O'Brien5 years ago 43bf3a4Add headAgg aggregation functionShane O'Brien5 years ago 5a45f67Add orderTabulationShane O'Brien5 years ago 4caf38d"Corep" is wrong. "Representable" is what I wanted.Shane O'Brien5 years ago e15f360Rename Insertion to CreateShane O'Brien5 years ago 63c5e03Rename Insertion constructor to ValueShane O'Brien5 years ago 0f76861Make all Col constructors single letter wrappersShane O'Brien5 years ago 5824baaParameterise Insertion by necessityShane O'Brien5 years ago 89ec060Actually fix DBSemigroup instance for listsShane O'Brien5 years ago 64e3fc5Export DBEnumShane O'Brien5 years ago 83466c9Add DBEnum class for specifying enum value names for EnumShane O'Brien5 years ago b36091aAdd DBMax and DBMin instances for CompositeShane O'Brien5 years ago ca9f078Fix DBSemigroup instances for [] and NonEmptyShane O'Brien5 years ago def349eRewrite Composite in terms of HKD (allowing us to project fields)Shane O'Brien5 years ago dc69ccaRemove implicit call to quietSnake; that's what namesFromLabelsWith is forShane O'Brien5 years ago 4017859Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD}Shane O'Brien5 years ago 8301eb7A ListTable can't really have default values and HVectorize oughtn't preserve NecessityShane O'Brien5 years ago ae2ce41Make constructHKD work the same for product and sum typesShane O'Brien5 years ago bdf2d87Add manyExpr and someExprShane O'Brien5 years ago 08dea9fAdd Floating instance for ExprShane O'Brien5 years ago e48c73eAdd someTabulation and manyTabulationShane O'Brien6 years ago 8cb6d48Generalize nullable to work on `Table`sShane O'Brien6 years ago d028b37Changes necessary to allow nesting Lift and HADT inside ListTableShane O'Brien6 years ago 5b1faf2Export fromADT, toADT, fromHKD and toHKDShane O'Brien6 years ago f8b1a55Better unreification; allow more nesting inside HListsShane O'Brien6 years ago 2615b89Unify HType and HIdentityShane O'Brien6 years ago db148ffSimplify LabelsShane O'Brien6 years ago cfe8a70Don't try to cram ADT into Rel8ableShane O'Brien6 years ago 666f0b9Try to fix compile error?Shane O'Brien6 years ago d07e3b5Add and export missing constructors for MaybeTable and friendsShane O'Brien6 years ago 8a680c9Reverse dependency between MaybeTable (and friends) and SerializableShane O'Brien6 years ago 45f6f2bRearrange parameters of ggaggregateShane O'Brien6 years ago cf8bdc7Add constructors for HKDShane O'Brien6 years ago 7a526b6Generalize constructor functions in Rel8.Table.ADT to Rel8.Generic.ConstructionShane O'Brien6 years ago 9fd885fInclude both Apply and "Legacy" variants of aggregateADTShane O'Brien6 years ago 845516aAdd constructADT, deconstructADT, nameADT, insertADT, aggregateADT to Rel8.Table.ADTShane O'Brien6 years ago 2cdc394The guts of the new Generic construction machineryShane O'Brien6 years ago fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien6 years ago 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien6 years ago 23bb65bDrop Encodes and litTable, they don't seem necessaryShane O'Brien6 years ago fb3d2d9Add EqTable and OrdTable instances for HKDShane O'Brien6 years ago 6e42c1eUnfold Rel8.Schema.HKD into Rel8.Generic.HKD and Rel8.Column.LiftShane O'Brien6 years ago