jaskell-dotty
API
Generated with
jaskell-dotty/jaskell/Monad/Instances/optionMonad

optionMonad

jaskell.Monad$.Instances$.optionMonad$
object optionMonad extends Monad[Option]

Attributes

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

Members list

Concise view

Value members

Concrete methods

def pure[A](x: A): Option[A]

Extensions

Extensions

extension [A, B](xo: Option[A])
def flatMap(f: A => Option[B]): Option[B]

Inherited extensions

extension [A, B](fa: F[A => B])
def <*>(fb: F[A]): F[B]

Attributes

Inherited from:
Applicative
def <|>(fb: F[A => B]): F[A => B]

Attributes

Inherited from:
Applicative
extension [A, B, C](fx: F[(A, B) => C])
def liftA2(ax: F[A], bx: F[B]): F[C]

Attributes

Inherited from:
Applicative
extension [A, B](x: F[A])
def *>(bx: F[B]): F[B]

Attributes

Inherited from:
Applicative
def <*(bx: F[B]): F[A]

Attributes

Inherited from:
Applicative
extension [A, B](x: F[A])
def >>(y: F[B]): F[B]

Attributes

Inherited from:
Monad
def >>=(f: A => F[B]): F[B]

Attributes

Inherited from:
Monad
def map(f: A => B): F[B]

The map operation can now be defined in terms of flatMap

The map operation can now be defined in terms of flatMap

Attributes

Inherited from:
Monad
extension [A, B](x: F[A])
def <:>(f: A => B): F[B]

Attributes

Inherited from:
Functor
def fmap(f: A => B): F[B]

Attributes

Inherited from:
Functor
Generated with