on b2e2fc9 help sign in
all commits
1c73ec6Add reify and unreify to Table classShane O'Brien 1276bebUse FCF to decouple GTable from TableShane O'Brien 6d3959eAllow generic deriving of Table instances for non-record typesShane O'Brien 6ca25e5Add generic default for Table class, and share its implementation with Rel8ableShane O'Brien 242dc79Add and export KRel8ableOliver Charles 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien 2283f03Restore HTable superclass to Rel8ableShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien d2347c1Rewrite Nullify and Vectorize in terms of HMapTableOllie Charles 2d11a08Get rid of IsSpecialContextShane O'Brien 25ed28cDocument Rel8ableOllie Charles 38a9aecFix bottomShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien