Semantically, returns the result in the monadic value.
Semantically, returns the result in the monadic value.
This macro must be inside a monadic
or a catchIoMonadic
block.
This is not a real method, thus it will never actually execute. Instead, the call to this method will be transformed to a monadic expression. The actually result is passing as a parameter to some scalaz.Monad#bind and scalaz.Monad#point calls instead of as a return value.
the result in the monadic value.
the underlying monadic value.
the underlying monadic value.
(toMonadicLoopOps: ToMonadicLoopOps[M, A]).monadicLoop
(toMonadicLoopOps: StringAdd).self
(toMonadicLoopOps: StringFormat).self
(toMonadicLoopOps: ArrowAssoc[ToMonadicLoopOps[F, A]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(toMonadicLoopOps: Ensuring[ToMonadicLoopOps[F, A]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead