FreeAp

object FreeAp
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], A, B](value: => F[A], function: => FreeAp[F, A => B]): FreeAp[F, B]

Add an effect to the front of a program that produces a continuation for it.

Add an effect to the front of a program that produces a continuation for it.

def lift[F[_], A](x: => F[A]): FreeAp[F, A]

Lift a value in F into the free applicative functor on F

Lift a value in F into the free applicative functor on F

def liftU[FA](x: => FA)(implicit FA: Unapply[[F[_]] =>> Functor[F], FA]): FreeAp[M, A]

A version of lift that infers the nested type constructor.

A version of lift that infers the nested type constructor.

def point[F[_], A](a: A): FreeAp[F, A]

Return a value in a free applicative functor

Return a value in a free applicative functor

def pure[F[_], A](a: A): FreeAp[F, A]

Return a value in a free applicative functor. Alias for point.

Return a value in a free applicative functor. Alias for point.

Implicits

Implicits

implicit
def freeInstance[F[_]]: Applicative[[_] =>> FreeAp[F, _$10]]