git.iko.soy/rel8
on 4017859 help sign in
rel8/src/Rel8/Table
22 files
../ ADT.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD} 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.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Insert.hsMore docs List.hsA ListTable can't really have default values and HVectorize oughtn't preserve Necessity Maybe.hsAdd and export missing constructors for MaybeTable and friends Name.hsMake Rel8able have kind ((X -> Type) -> Type) -> Constraint NonEmpty.hsA ListTable can't really have default values and HVectorize oughtn't preserve Necessity 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