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