git.iko.soy/rel8
on c8341c1 help sign in
rel8/src/Rel8/Schema
3 folders, 15 files
../ Context/Reverse dependency between Rel8.Schema.Context and Rel8.Schema.Result HTable/Add reify and unreify to Table class Spec/Teach Table and friends about Sum types Column.hsSimplify Column type family Context.hsReverse dependency between Rel8.Schema.Context and Rel8.Schema.Result Dict.hsThe beginning of rel8 1.0 Field.hsReverse dependency between Rel8.Schema.Context and Rel8.Schema.Result 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.hsReverse dependency between Rel8.Schema.Context and Rel8.Schema.Result Spec.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Structure.hsComplete overhaul of Rel8.Schema.Generic Table.hsRemove doctest for now