Introduces new Prepared statement type as well as new functions prepare and prepare_ to construct Prepared statements in a MonadPQ. This generalizes and factors out of executePrepared from earlier.
Prepared has many instances, notably Functor, Profunctor, Traversing, Category and Arrow.
The PR also adds MonadFix, Alternative and MonadPlus instances to PQ.
Introduces new
Preparedstatement type as well as new functionsprepareandprepare_to constructPreparedstatements in aMonadPQ. This generalizes and factors out ofexecutePreparedfrom earlier.Preparedhas many instances, notablyFunctor,Profunctor,Traversing,CategoryandArrow.The PR also adds
MonadFix,AlternativeandMonadPlusinstances toPQ.