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

Applicative

libretto.lambda.util.Applicative
See theApplicative companion trait
object Applicative

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object applicativeFunction0 extends Applicative[Function0]

Attributes

Supertypes
trait Applicative[Function0]
trait Functor[Function0]
class Object
trait Matchable
class Any
Self type
object applicativeId extends Applicative[[A] =>> A]

Attributes

Supertypes
trait Applicative[[A] =>> A]
trait Functor[[A] =>> A]
class Object
trait Matchable
class Any
Self type
object given_Applicative_Option extends Applicative[Option]

Attributes

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

Value members

Concrete methods

def apply[F[_]](using Applicative[F]): Applicative[F]
def traverseList[A, F[_], B](as: List[A])(f: A => F[B])(using F: Applicative[F]): F[List[B]]

Givens

Givens

Extensions

Extensions

extension [A](a: A)
def pure[F[_]](using F: Applicative[F]): F[A]
Generated with