git.iko.soy/rel8
on 032242f help sign in
history ofsrc/Rel8/Expr.hs
all commits
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 991998aGet rid of Rel8.Table.Unreify and all remaining uses of QuantifiedConstraints (#103)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 08dea9fAdd Floating instance for ExprShane O'Brien 2615b89Unify HType and HIdentityShane O'Brien 1c73ec6Add reify and unreify to Table classShane 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 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 0de1c30Document ExprOllie Charles e891d51Restore test suiteShane O'Brien b983defMagic Sql constraint synonymShane O'Brien 06f67cfIntroduce Array1D for interfacing with conventional postgres arrays, rendering the IsList stuff unnecessaryShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien