git.iko.soy/rel8
on bdb75e6 help sign in
rel8/src/Rel8/Schema
3 folders, 11 files
../ Context/Make all Col constructors single letter wrappers HTable/A ListTable can't really have default values and HVectorize oughtn't preserve Necessity 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.hsRename Insertion to Create Kind.hsAdd Rel8.Generic.Table.ADT Name.hsMake all Col constructors single letter wrappers Null.hsSlightly less constraint fuckery is needed now that we don't use Opaque Reify.hsSplit greify and gunreify out of GTable Result.hsMake all Col constructors single letter wrappers Spec.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint Table.hsRemove doctest for now