git.iko.soy/rel8
on ae4607a help sign in
history ofsrc/Rel8/Table/Ord.hs
all commits
119c825Allow the derivation of Rel8able on vanilla HKDs (#111)Shane f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane e0a1851Replace Recontextualize type class with Transpose associated type (#109)Shane 97d89cfRemove Interpretation and Col (#107)Ollie Charles 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane 716d9f1Clean up ConstrainDBType (#100)Shane 0f76861Make all Col constructors single letter wrappersShane O'Brien 2615b89Unify HType and HIdentityShane O'Brien 4bc16d3Introduce ADT meta-Rel8able for sum typesShane O'Brien 66dc44dTeach Table and friends about Sum typesShane O'Brien 1276bebUse FCF to decouple GTable from TableShane O'Brien b8ff282Add instances for 6 and 7 tuples (after all, they're free now)Shane O'Brien fb21075Add better generic deriving for EqTable, OrdTable and ToExprsShane O'Brien 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 24f0521Fill in missing EqTable and OrdTable instancesShane O'Brien 8127f14Start work breaking down EqTable and OrdTableOllie Charles 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien 5a2ea36Document Rel8.Table.OrdOllie Charles 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien