Profunctor.Monad.MonadCoAction

Documentation

coAct :: MonadCoAction m p => p u v -> p (m u) v

internaliseMaybe :: MonadCoAction Maybe p => p u v -> p (Maybe u) v

coAct with the Monad specialised to maybe as used in "Composing Bidirectional Programs Monadically".