git.iko.soy/rel8
on b36091a 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.hsRemove implicit call to quietSnake; that's what namesFromLabelsWith is for 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