libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/libretto.lambda.util/Applicative/given_Applicative_Option

given_Applicative_Option

libretto.lambda.util.Applicative.given_Applicative_Option
object given_Applicative_Option extends Applicative[Option]

Attributes

Graph
Supertypes
trait Applicative[Option]
trait Functor[Option]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

Inherited from:
Applicative

Extensions

Extensions

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

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited extensions

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

Attributes

Inherited from:
Applicative
Generated with