git.iko.soy/rel8
on b86acbd help sign in
b86acbdDocument EnumableOllie Charles 32395d0Document DBEnumOllie Charles 7133aceDocument namesFromLabels and namesFromLabelsWithOllie Charles 7f5801fDocument unsafeLiteralOllie Charles 01b569fDocument RecontextualizeOllie Charles ae4a786Document LabelableOllie Charles 9d3480cDocument ToExprs and FromExprsOllie Charles 00e53a1Document ResultOllie Charles f998dd7Document Rel8.Type.CompositeOllie Charles ef272c4Fix testsOllie Charles 74f03adDrop Rel8.TabulateOllie Charles 17c67adRelax constraints on bindMaybeTable and bindTheseTableShane O'Brien 1dd532cRemove stray traceShowIdShane O'Brien 60cbc6aAdd Rel8.Query.EvaluateShane O'Brien 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