git.iko.soy/rel8
on e432f6d 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.hsSplit greify and gunreify out of GTable Generic.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.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.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