git.iko.soy/rel8
on ae2ce41 help sign in
rel8/src/Rel8/Table
22 files
../ ADT.hsMake constructHKD work the same for product and sum types Aggregate.hsChange arguments to listAggWithOrder Alternative.hsMore docs Bool.hsGeneralize nullable to work on `Table`s Either.hsAdd and export missing constructors for MaybeTable and friends Eq.hsUnify HType and HIdentity HKD.hsMake constructHKD work the same for product and sum types Insert.hsMore docs List.hsBetter unreification; allow more nesting inside HLists Maybe.hsAdd and export missing constructors for MaybeTable and friends Name.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint NonEmpty.hsBetter unreification; allow more nesting inside HLists Opaleye.hsCAST all outputs of SELECT and RETURNING (#35) Ord.hsUnify HType and HIdentity Order.hsRename all the null things Recontextualize.hsIntroduce ADT meta-Rel8able for sum types Rel8able.hsDon't try to cram ADT into Rel8able Serialize.hsUnify HType and HIdentity 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.hsRename all the null things Unreify.hsChanges necessary to allow nesting Lift and HADT inside ListTable