spotted-leopards
0.1.0
API
Generated with
spotted-leopards/leopards/stdListInstances

stdListInstances

leopards.list$package.stdListInstances
object stdListInstances extends Monad[List], Traverse[List]

Attributes

Source
list.scala
Graph
Supertypes
trait Traverse[List]
trait Foldable[List]
trait Monad[List]
trait Applicative[List]
trait FlatMap[List]
trait Apply[List]
trait Semigroupal[List]
trait Functor[List]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

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

Attributes

Source
list.scala

Inherited methods

def ap[A, B](ff: List[A => B], fa: List[A]): F[B]

Attributes

Inherited from:
FlatMap
Source
FlatMap.scala
def lift[A, B](f: A => B): F[A] => F[B]

Attributes

Inherited from:
Functor
Source
Functor.scala
def unit: F[Unit]

Attributes

Inherited from:
Applicative
Source
Applicative.scala

Extensions

Extensions

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

Attributes

Source
list.scala
def foldLeft[B](b: B)(f: (B, A) => B): B

Attributes

Source
list.scala
def foldRight[B](b: B)(f: (A, B) => B): B

Attributes

Source
list.scala
def traverse[G[_], B](f: A => G[B])(using G: Applicative[G]): G[List[B]]

Attributes

Source
list.scala

Inherited extensions

extension [A](fa: List[A])
def as[B](b: B): F[B]

Attributes

Inherited from:
Functor
Source
Functor.scala
def void: F[Unit]

Attributes

Inherited from:
Functor
Source
Functor.scala
extension [A](fa: List[A])
def foldMap[B](f: A => B)(using B: Monoid[B]): B

Attributes

Inherited from:
Foldable
Source
Foldable.scala
extension [A](fa: List[A])
override def map[B](f: A => B): F[B]

Attributes

Definition Classes
Inherited from:
Monad
Source
Monad.scala
extension [A](fa: List[A])
def *>[B](fb: List[B]): F[B]

Attributes

Inherited from:
Apply
Source
Apply.scala
def <*[B](fb: List[B]): F[A]

Attributes

Inherited from:
Apply
Source
Apply.scala
def map2[B, Z](fb: List[B])(f: (A, B) => Z): F[Z]

Attributes

Inherited from:
Apply
Source
Apply.scala
override def product[B](fb: List[B]): F[(A, B)]

Attributes

Definition Classes
Inherited from:
Apply
Source
Apply.scala
extension [A, B](ff: List[A => B])
inline def <*>(fa: List[A]): F[B]

Attributes

Inherited from:
Apply
Source
Apply.scala
extension [A](ffa: List[List[A]])
def flatten: F[A]

Attributes

Inherited from:
FlatMap
Source
FlatMap.scala
extension [G[_], A](fga: List[G[A]])
def sequence(using Applicative[G]): G[F[A]]

Attributes

Inherited from:
Traverse
Source
Traverse.scala
extension [T <: NonEmptyTuple](tuple: T)(using toMap: IsMappedBy[List][T])
inline def mapN[B](f: InverseMap[T, List] => B): F[B]

Attributes

Inherited from:
Apply
Source
Apply.scala
inline def tupled: F[InverseMap[T, F]]

Attributes

Inherited from:
Apply
Source
Apply.scala
Generated with