libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.util/Monad

Monad

libretto.util.Monad
See theMonad companion object
trait Monad[F[_]] extends Applicative[F]

Witnesses that F is a monad in the category of Scala functions.

Attributes

Companion:
object
Graph
Supertypes
trait Applicative[F]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]
def pure[A](a: A): F[A]

Concrete methods

override def ap[A, B](ff: F[A => B])(fa: F[A]): F[B]

Attributes

Definition Classes
override def map[A, B](fa: F[A])(f: A => B): F[B]

Attributes

Definition Classes

Inherited methods

def map2[A, B, R](fa: F[A], fb: F[B])(f: (A, B) => R): F[R]

Attributes

Inherited from:
Applicative
def mapN[A, B, C, R](fa: F[A], fb: F[B], fc: F[C])(f: (A, B, C) => R): F[R]

Attributes

Inherited from:
Applicative
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL