libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/libretto.lambda.util/Monad

Monad

libretto.lambda.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
Known subtypes
object monadId

Members list

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
def flatMap2[A, B, C](fa: F[A], fb: F[B])(f: (A, B) => F[C]): F[C]
def flatten[A](a: F[F[A]]): F[A]
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
def zip[A, B](fa: F[A], fb: F[B]): F[(A, B)]

Attributes

Inherited from:
Applicative

Extensions

Inherited extensions

extension [A](fa: F[A])
def map[B](f: A => B): F[B]

Attributes

Inherited from:
Applicative
Generated with