meow/meow.control/Applicative

Applicative

object Applicative
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def liftA[F[_]]: [A, B] => (f: A => B) => F[A] => Applicative[F] => F[B]

Lift unary function

Lift unary function

def liftA2[F[_]]: [A, B, C] => (f: A => B => C) => Applicative[F] => F[A] => F[B] => F[C]
def liftA3[F[_]]: [A, B, C, D] => (f: A => B => C => D) => F[A] => F[B] => F[C] => Applicative[F] => F[D]

Lift a ternary function

Lift a ternary function

def pure[F[_]]: [A] => (a: A) => Applicative[F] => F[A]
inline def unless[F[_]]: Boolean => [A] => (doThing: F[A]) => Applicative[F] => F[Unit]
inline def when[F[_]]: Boolean => [A] => (doThing: F[A]) => Applicative[F] => F[Unit]

Givens

Givens

given given_Applicative_Either[E]: Applicative[[_] =>> Either[E, _$9]]
given given_Applicative_Function[R]: Applicative[[_] =>> R => _$8]
given given_Applicative_List: Applicative[List]
given given_Applicative_Option: Applicative[[A] =>> Option[A]]
given given_Applicative_Vector: Applicative[Vector]