on db148ff help sign in
history ofsrc/Rel8.hs
all commits
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 cc0705fExport namesFromLabelsWithOllie Charles c220b00Tidy up IsMaybe ~ 'False with NotNull constraint synonym (fixes #23)Shane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien 63caeabExport sumWhereOliver Charles 4fdee53Export runAggregationOliver Charles ac4c11aExport ($?)Oliver Charles f5f9256Export nullOliver Charles bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien eba6b2eExport binaryOperatorOllie Charles 9ac34c5Export InsertionOllie Charles c385668Export coalesceOllie Charles 794989aExport liftOpNullableOllie Charles 1be93daExport unsafeCastExprOllie Charles f3daaffExport Default and LabelOllie Charles 96cd112Export namesFromLabelsOllie Charles 05564f4Only export Rel8Ollie Charles bb078d2Export SqlOliver Charles 07ab055Don't export the constructor for MaybeTableOliver Charles 8fefc24Add Rel8.Type.JSONEncoded, Rel8.Type.JSONBEncoded, Rel8.Type.ReadShowOllie Charles