applicativeId

libretto.lambda.util.Applicative.applicativeId
object applicativeId extends Applicative[[A] =>> A]

Attributes

Graph
Supertypes
trait Applicative[[A] =>> A]
trait Functor[[A] =>> A]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

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

Extensions

Extensions

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

Attributes

Definition Classes
override def widen[B >: A]: B

Attributes

Definition Classes
override def zip[B](b: B): (A, B)

Attributes

Definition Classes

Inherited extensions

extension [A](fa: A)
infix def zipWith[B, C](fb: B)(f: (A, B) => C): [A] =>> A[C]

Attributes

Inherited from:
Applicative