git.iko.soy/rel8
on master help sign in
history ofbdf2d87..master
compare
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