Bind
object Bind
Value members
Concrete methods
Givens
Givens
given Original_Bind_CovariantStreamT_A: Original[Bind[M, A], CovariantStreamT[[_] =>> F[M, _$10], B], A]
given Original_Bind_CovariantStreamT_A: Original[Bind[M, A], CovariantStreamT[[_] =>> Kleisli[M, E, _$14], B], A]
- Note
We need this instance because the generic instance for monad transformer does not work for ReaderT / Kleisli, as Kleisli's type parameter order is incompatible with partial unification
Extensions
Extensions
extension [FA, M[_], A](fa: FA)
transparent inline
def bind(using inline notKeyword: NotGiven[FA <:< Keyword], inline asFA: FA <:< CovariantStreamT[M, A]): A
transparent inline
def unary_!(using inline notKeyword: NotGiven[FA <:< Keyword], inline asFA: FA <:< CovariantStreamT[M, A]): A