Bind
object Bind
Value members
Concrete methods
Givens
Givens
given given_Original_Bind_CovariantStreamT_A[M[_], A, B](using Nondeterminism[M]): Original[Bind[M, A], CovariantStreamT[M, B], A]
given given_Original_Bind_CovariantStreamT_A[F[_[_], _], M[_], A, B](using Nondeterminism[[_] =>> F[M, _$9]], MonadTrans[F], Monad[M]): Original[Bind[M, A], CovariantStreamT[[_] =>> F[M, _$10], B], A]
given given_Original_Bind_CovariantStreamT_A[E, M[_], A, B](using Nondeterminism[M], Nondeterminism[[_] =>> Kleisli[M, E, _$13]]): 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