../ Context/Make Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Generic/Add reify and unreify to Table class6 years ago HTable/Add reify and unreify to Table class6 years ago Spec/Slightly less constraint fuckery is needed now that we don't use Opaque6 years ago Column.hsSimplify Column type family6 years ago Context.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Dict.hsThe beginning of rel8 1.06 years ago Field.hsAdd reify and unreify to Table class6 years ago Generic.hsAdd reify and unreify to Table class6 years ago HKD.hsAdd reify and unreify to Table class6 years ago HTable.hsAdd better generic deriving for EqTable, OrdTable and ToExprs6 years ago Insert.hsAdd reify and unreify to Table class6 years ago Kind.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Name.hsAdd reify and unreify to Table class6 years ago Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque6 years ago Reify.hsAdd reify and unreify to Table class6 years ago Result.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Spec.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Structure.hsComplete overhaul of Rel8.Schema.Generic6 years ago Table.hsRemove doctest for now6 years ago