F
- the Functor
to lift into@FunctionalInterface public interface Pure<F extends Functor<?,? extends F>>
Applicative.pure(Object)
, with a loosened Functor
constraint.Modifier and Type | Method and Description |
---|---|
default <A,FA extends Functor<A,? extends F>> |
apply(A a) |
<A> Functor<A,? extends F> |
checkedApply(A a) |
static <F extends Applicative<?,? extends F>> |
of(Applicative<?,? extends F> app)
|
static <F extends Functor<?,? extends F>> |
pure(Pure<F> pure)
Static method to aid inference.
|
static <F extends Functor<?,? extends F>> Pure<F> pure(Pure<F> pure)
static <F extends Applicative<?,? extends F>> Pure<F> of(Applicative<?,? extends F> app)
F
- the witnessapp
- the Applicative
Pure