git.iko.soy/rel8
on b2e2fc9 help sign in
rel8/src/Rel8/Schema
4 folders, 16 files
../ Context/Make Rel8able have kind ((X -> Type) -> Type) -> Constraint Generic/Add reify and unreify to Table class HTable/Add reify and unreify to Table class Spec/Slightly less constraint fuckery is needed now that we don't use Opaque Column.hsSimplify Column type family Context.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Dict.hsThe beginning of rel8 1.0 Field.hsAdd reify and unreify to Table class Generic.hsAdd reify and unreify to Table class HKD.hsAdd reify and unreify to Table class HTable.hsAdd better generic deriving for EqTable, OrdTable and ToExprs Insert.hsAdd reify and unreify to Table class Kind.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Name.hsAdd reify and unreify to Table class Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque Reify.hsAdd reify and unreify to Table class Result.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Spec.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Structure.hsComplete overhaul of Rel8.Schema.Generic Table.hsRemove doctest for now