virusdave / sloppy Goto Github PK

Will be a test for a more advanced version of this library.

Currently, we can turn a Query[Rep[Option[A], ...] into a Query[Rep[A], ...] pretty easily if we can supply a default A, by doing:
query.map(maybeA => maybeA.getOrElse(defaultA)).

We should be able to lift this to arbitrary product-type rows.
We should also be able to do this without supplying a default A by filtering away all rows that are missing an A.

Generic "drop LHS from a Tuple2" implementation. Requires acquiring the component types of the non-lifted tuple of a query, which we know must exist because we have a tuple extractor already.

Generic optional lifter for appenders: (QA[RE, RA, A] => QA[Option[RE], Option[RA], Option[A]])

Given a "thing that appends a value given an RE", we should be able to generically update this to a "thing that appends an optional value given an optional RE".

For a lawful QA, this should be doable.