jaskell-dotty/jaskell/listMonad

listMonad

given listMonad: Monad[List]

Value members

Concrete methods

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

Extensions

Extensions

extension (xs: List[A])
def flatMap[A, B](f: A => List[B]): List[B]

Inherited extensions

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

The map operation can now be defined in terms of flatMap

The map operation can now be defined in terms of flatMap

Inherited from
Monad