../ Context/Make Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Generic/Allow generic deriving of Table instances for non-record types6 years ago HTable/Add better generic deriving for EqTable, OrdTable and ToExprs6 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.hsSketch of HKD-lifting of Generic types6 years ago Generic.hsUse FCF to decouple GTable from Table6 years ago HKD.hsAdd better generic deriving for EqTable, OrdTable and ToExprs6 years ago HTable.hsAdd better generic deriving for EqTable, OrdTable and ToExprs6 years ago Insert.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Kind.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Name.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque6 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