In writing database interactions that are general enough to handle Maybe and [], empty as provided by class Applicative f => Alternative f is necessary and sufficient. However, the Alternative f functor class is not included in RIO. Monoid m a requires Semigroup a which is unnecessarily restrictive and Functor f is not sufficient.
Are there any plans to work Alternative f into RIO?
In writing database interactions that are general enough to handle Maybe and [],
empty
as provided byclass Applicative f => Alternative f
is necessary and sufficient. However, theAlternative f
functor class is not included in RIO.Monoid m a
requiresSemigroup a
which is unnecessarily restrictive andFunctor f
is not sufficient.Are there any plans to work
Alternative f
intoRIO
?