git.iko.soy/rel8
on fab5b4e help sign in
rel8/src/Rel8/Schema
3 folders, 11 files
../ Context/Fold Rel8.Schema.Context.Result into Rel8.Schema.Context HTable/Add reify and unreify to Table class Spec/Teach Table and friends about Sum types Context.hsReverse dependency between Rel8.Schema.Context and Rel8.Schema.Result Dict.hsThe beginning of rel8 1.0 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.hsFold Rel8.Schema.Context.Result into Rel8.Schema.Context Spec.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Table.hsRemove doctest for now