git.iko.soy/rel8
on 63c5e03 help sign in
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 fab5b4eImplement our own HKD in terms of the existing Generic machineryShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien 23bb65bDrop Encodes and litTable, they don't seem necessaryShane O'Brien fb3d2d9Add EqTable and OrdTable instances for HKDShane 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 6ecc65fRemove obsolete Rel8.Schema.StructureShane O'Brien 356d591Fold Rel8.Schema.Context.Result into Rel8.Schema.ContextShane O'Brien c8341c1Reverse dependency between Rel8.Schema.Context and Rel8.Schema.ResultShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien 6c20afaAdd Rel8.Generic.Table.ADTShane O'Brien 8cf243eMerge pull request #45 from circuithub/expose-array1dShane e432f6dSplit greify and gunreify out of GTableShane O'Brien b2e2fc9Expose Array1D constructorGary Pamparà 1c73ec6Add reify and unreify to Table classShane O'Brien 1276bebUse FCF to decouple GTable from TableShane O'Brien 3e8f632Rough documentation for constructing orderingsOliver Charles 26ccab3Change arguments to listAggWithOrderShane O'Brien