git.iko.soy/rel8
on 137ebed help sign in
history ofsrc/Rel8.hs
all commits
bc275dcMove some exports aroundOllie Charles 421fe3fRemove bind*TableShane O'Brien 760dcd8Don't export fromADT, toADT, fromHKD, toHKDShane 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 b86f445Rename singularize to distinctTabulation and implement in terms of distinctOnShane O'Brien a3b32bdunnest supportShane 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 06f34d2Export emptyTableShane O'Brien 43bf3a4Add headAgg aggregation functionShane O'Brien 64e3fc5Export DBEnumShane O'Brien def349eRewrite Composite in terms of HKD (allowing us to project fields)Shane O'Brien 4017859Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD}Shane O'Brien bdf2d87Add manyExpr and someExprShane O'Brien 08dea9fAdd Floating instance for ExprShane O'Brien 5b1faf2Export fromADT, toADT, fromHKD and toHKDShane O'Brien cfe8a70Don't try to cram ADT into Rel8ableShane O'Brien d07e3b5Add and export missing constructors for MaybeTable and friendsShane O'Brien cf8bdc7Add constructors for HKDShane O'Brien fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien 6e42c1eUnfold Rel8.Schema.HKD into Rel8.Generic.HKD and Rel8.Column.LiftShane O'Brien 95a2ebfUnfold Rel8.Schema.Field into Rel8.Column.*Shane O'Brien 356d591Fold Rel8.Schema.Context.Result into Rel8.Schema.ContextShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien 6c20afaAdd Rel8.Generic.Table.ADTShane O'Brien b2e2fc9Expose Array1D constructorGary Pamparà 5160431Add ability to specify ordering with list aggregationsShane O'Brien 93638f8Export Composite and EnumShane O'Brien 47e7842Sketch of HKD-lifting of Generic typesShane O'Brien 242dc79Add and export KRel8ableOliver Charles 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien f6a9c96Fix array1DAggExprShane O'Brien ba684c0Export Array1DShane O'Brien b0e6053Add array1DAggExprShane O'Brien e52dd75Exports to allow users to define Table themselvesOllie Charles 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien f1e287eRename all the null thingsShane O'Brien 04155d6Move getting start guide back to Read the DocsOllie Charles 25c7638Add Rel8.Aggregate.Context for backwards compatibilityShane O'Brien 2a89918Export Field and NecessityOllie Charles 5b5d29fAdd countRowsShane O'Brien 0aea7b7Export DBIntegralShane O'Brien 3931f33Export createViewShane O'Brien bc15d25Export AggregatesShane O'Brien 11bcbbbExport listAggExpr and nonEmptyAggExprOllie Charles 742f683Rename runAggregation and add distributeAggregateShane O'Brien