../ Context/Make Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago Generic/Sketch of HKD-lifting of Generic types6 years ago HTable/Complete overhaul of Rel8.Schema.Generic6 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.hsAdd and export KRel8able6 years ago HKD.hsSketch of HKD-lifting of Generic types6 years ago HTable.hsFill in missing EqTable and OrdTable instances6 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