magnolia/magnolia1/Monadic

Monadic

object Monadic
Companion
class
class Object
trait Matchable
class Any

Givens

Givens

given Monadic_Either[Err]: Monadic[[X] =>> Either[Err, X]]
given Monadic_Future(using val ec: ExecutionContext): Monadic[Future]
given given_Monadic_List: Monadic[List]
given given_Monadic_Option: Monadic[Option]
given given_Monadic_Try: Monadic[Try]

Extensions

Extensions

extension [F[_], A, B](fv: F[A])
def flatMap(using monadic: Monadic[F])(f: A => F[B]): F[B]
def map(using monadic: Monadic[F])(f: A => B): F[B]