git.iko.soy/rel8
on def349e help sign in
rel8/src/Rel8
10 folders, 11 files
../ Aggregate/Add constructors for HKD Column/Changes necessary to allow nesting Lift and HADT inside ListTable Expr/Add Floating instance for Expr Generic/Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Kind/Simplify Labels Query/Rewrite Composite in terms of HKD (allowing us to project fields) Schema/A ListTable can't really have default values and HVectorize oughtn't preserve Necessity Statement/Fix typo in createView Table/Remove implicit call to quietSnake; that's what namesFromLabelsWith is for Type/Rewrite Composite in terms of HKD (allowing us to project fields) Aggregate.hsAdd reify and unreify to Table class Column.hsDon't try to cram ADT into Rel8able Expr.hsAdd Floating instance for Expr Expr.hs-bootMake Rel8able have kind ((X -> Type) -> Type) -> Constraint FCF.hsInclude both Apply and "Legacy" variants of aggregateADT Order.hsAdd ability to specify ordering with list aggregations Query.hsRemove Opaque constraint synonyms Query.hs-bootThe beginning of rel8 1.0 Table.hsUnify HType and HIdentity Tabulate.hsAdd someTabulation and manyTabulation Type.hsCorrect encoders for Infinity, -Infinity and NaN