git.iko.soy/rel8
on f47423e help sign in
history ofsrc/Rel8/Schema/Spec.hs
all commits
f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)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 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien f1e287eRename all the null thingsShane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien 9b5abf2Use data family for HTable contextsShane 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