magnolia/magnolia1/Monadic

Monadic

object Monadic
Companion
class
class Object
trait Matchable
class Any

Givens

Givens

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

Extensions

Extensions

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