You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Will be a test for a more advanced version of this library.
Currently, we can turn a
Query[Rep[Option[A], ...]
into aQuery[Rep[A], ...]
pretty easily if we can supply a defaultA
, 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 anA
.The text was updated successfully, but these errors were encountered: