on 66dc44d help sign in
all commits
1c73ec6Add reify and unreify to Table classShane O'Brien 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien 5e4df50Complete overhaul of Rel8.Schema.GenericShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien b135026We don't need the Identity instance for Taggable, dropping it simplifies thingsShane O'Brien e3bde04Introduce more principled way to aggregate and name {Either,Maybe,These}TablesShane O'Brien 0b34a14Clean up Serializable and introduce litTableShane 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