monadId

libretto.lambda.util.Monad.monadId
object monadId extends Monad[[A] =>> A]

Attributes

Graph
Supertypes
trait Monad[[A] =>> A]
trait Applicative[[A] =>> A]
class Object
trait Matchable
class Any
Self type
monadId.type

Members list

Value members

Concrete methods

override def flatMap[A, B](a: A)(f: A => B): B

Attributes

Definition Classes
override def pure[A](a: A): A

Attributes

Definition Classes

Inherited methods

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

Attributes

Definition Classes
Inherited from:
Monad
def flatMap2[A, B, C](fa: A, fb: B)(f: (A, B) => C): [A] =>> A[C]

Attributes

Inherited from:
Monad
def flatten[A](a: A): [A] =>> A[A]

Attributes

Inherited from:
Monad
override def map[A, B](fa: A, f: A => B): [A] =>> A[B]

Attributes

Definition Classes
Inherited from:
Monad
def map2[A, B, R](fa: A, fb: B)(f: (A, B) => R): [A] =>> A[R]

Attributes

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

Attributes

Inherited from:
Applicative
def zip[A, B](fa: A, fb: B): [A] =>> A[(A, B)]

Attributes

Inherited from:
Applicative

Extensions

Inherited extensions

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

Attributes

Inherited from:
Applicative