git.iko.soy/rel8
on 66dc44d help sign in
rel8/src/Rel8/Schema
3 folders, 15 files
../ Context/Teach Table and friends about Sum types HTable/Add reify and unreify to Table class Spec/Teach Table and friends about Sum types Column.hsSimplify Column type family Context.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Dict.hsThe beginning of rel8 1.0 Field.hsSplit greify and gunreify out of GTable HKD.hsAdd reify and unreify to Table class HTable.hsSplit greify and gunreify out of GTable Insert.hsAdd reify and unreify to Table class Kind.hsAdd Rel8.Generic.Table.ADT Name.hsAdd reify and unreify to Table class Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque Reify.hsSplit greify and gunreify out of GTable 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