git.iko.soy/rel8
on 63c5e03 help sign in
rel8/src/Rel8/Table
22 files
../ ADT.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Aggregate.hsMake all Col constructors single letter wrappers Alternative.hsMore docs Bool.hsMake all Col constructors single letter wrappers Either.hsAdd and export missing constructors for MaybeTable and friends Eq.hsMake all Col constructors single letter wrappers HKD.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Insert.hsRename Insertion constructor to Value List.hsMake all Col constructors single letter wrappers Maybe.hsAdd and export missing constructors for MaybeTable and friends Name.hsMake all Col constructors single letter wrappers NonEmpty.hsMake all Col constructors single letter wrappers Opaleye.hsRename Insertion constructor to Value Ord.hsMake all Col constructors single letter wrappers Order.hsMake all Col constructors single letter wrappers Recontextualize.hsIntroduce ADT meta-Rel8able for sum types Rel8able.hsDon't try to cram ADT into Rel8able Serialize.hsMake all Col constructors single letter wrappers Tag.hsSlightly less constraint fuckery is needed now that we don't use Opaque These.hsAdd and export missing constructors for MaybeTable and friends Undefined.hsMake all Col constructors single letter wrappers Unreify.hsChanges necessary to allow nesting Lift and HADT inside ListTable