profunctor-monad-0.2.0.0: Monadic bidirectional programming
Safe HaskellSafe-Inferred
LanguageHaskell2010

Profunctor.Monad.MonadCoAction

Synopsis

Documentation

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

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

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