jaskell-dotty/jaskell/Monad

Monad

trait Monad[F[_]] extends Applicative[F]
trait Applicative[F]
trait Functor[F]
class Object
trait Matchable
class Any

Value members

Inherited methods

def pure[A](x: A): F[A]
Inherited from
Functor

Extensions

Extensions

extension (x: F[A])
def >>[A, B](y: F[B]): F[B]
def >>=[A, B](f: A => F[B]): F[B]
def map[A, B](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

Inherited extensions

extension (fa: F[A => B])
def <*>[A, B](fb: F[A]): F[B]
Inherited from
Applicative
def <|>[A, B](fb: F[A => B]): F[A => B]
Inherited from
Applicative
extension (fx: F[(A, B) => C])
def liftA2[A, B, C](ax: F[A], bx: F[B]): F[C]
Inherited from
Applicative
extension (x: F[A])
def <:>[A, B](f: A => B): F[B]
Inherited from
Functor
def flatMap[A, B](f: A => F[B]): F[B]
Inherited from
Functor
def fmap[A, B](f: A => B): F[B]
Inherited from
Functor
extension (x: F[A])
def *>[A, B](bx: F[B]): F[B]
Inherited from
Applicative
def <*[A, B](bx: F[B]): F[A]
Inherited from
Applicative