5d2b9e4Add upsert support and allow arbitrary queries in INSERT, UPDATE and DELETE (#85)Shane5 years ago f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane5 years ago 97d89cfRemove Interpretation and Col (#107)Ollie Charles5 years ago 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane5 years ago 7133aceDocument namesFromLabels and namesFromLabelsWithOllie Charles5 years ago 0f76861Make all Col constructors single letter wrappersShane O'Brien5 years ago dc69ccaRemove implicit call to quietSnake; that's what namesFromLabelsWith is forShane O'Brien5 years ago 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien6 years ago bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien6 years ago 2d11a08Get rid of IsSpecialContextShane O'Brien6 years ago 38a9aecFix bottomShane O'Brien6 years ago 9b5abf2Use data family for HTable contextsShane O'Brien6 years ago 6360f10The beginning of rel8 1.0Shane O'Brien6 years ago