ThoughtWorksInc/Binding.scala/com.thoughtworks.binding.keywords/Bind

Bind

object Bind
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[M[_], A]: CovariantStreamT[M, A] =:= Bind[M, A]

Givens

Givens

given IsKeyword_Bind_A[M[_], A]: IsKeyword[Bind[M, A], A]
given Original_Bind_CovariantStreamT_A: Original[Bind[M, A], CovariantStreamT[M, B], A]
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