git.iko.soy/rel8
on fb4e1a5 help sign in
rel8/src/Rel8/Schema
5 folders, 13 files
../ Context/Fix warnings Generic/The beginning of rel8 1.0 HTable/Fix warnings Nullability/Lots more docs Spec/Fill in missing EqTable and OrdTable instances Column.hsRemove doctest for now Context.hsSimplify Spec to just labels, necessity and type Dict.hsThe beginning of rel8 1.0 Field.hsSimplify Spec to just labels, necessity and type Generic.hsSimplify Spec to just labels, necessity and type HTable.hsFill in missing EqTable and OrdTable instances Insert.hsWe don't need the Identity instance for Taggable, dropping it simplifies things Kind.hsUse data family for HTable contexts Name.hsIntroduce more principled way to aggregate and name {Either,Maybe,These}Tables Nullability.hsFill in missing EqTable and OrdTable instances Spec.hsSimplify Spec to just labels, necessity and type Structure.hsUse data family for HTable contexts Table.hsRemove doctest for now