on 29cdfdb help sign in
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 97d89cfRemove Interpretation and Col (#107)Ollie Charles 7c5422fMove FromExprs into the Table class and get rid of Unreify (#106)Shane 4aa5ba9Remove Labelable type class; we don't really need labels at the type level anymore (#76)Shane 1eaa683Get rid of defaulting and insert context altogetherShane O'Brien 0f76861Make all Col constructors single letter wrappersShane O'Brien 2615b89Unify HType and HIdentityShane O'Brien 2cdc394The guts of the new Generic construction machineryShane 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