com.jnape.palatable.lambda.functions.specialized

Interface Lift<B extends MonadBase<?,?,B>>

Type Parameters:

B - the MonadBase to lift into

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface Lift<B extends MonadBase<?,?,B>>

Generalized, portable lifting operation for lifting a MonadRec into a MonadBase.

Method Summary

Modifier and Type	Method and Description
default <A,M extends MonadRec<?,M>,MBA extends MonadBase<M,A,B>> MBA	apply(MonadRec<A,M> ma)
<A,M extends MonadRec<?,M>> MonadBase<M,A,B>	checkedApply(MonadRec<A,M> ga)
static <B extends MonadBase<?,?,B>> Lift<B>	lift(Lift<B> lift) Static method to aid inference.

Method Detail

checkedApply

<A,M extends MonadRec<?,M>> MonadBase<M,A,B> checkedApply(MonadRec<A,M> ga)
                                                   throws Throwable

Throws:

Throwable

apply

default <A,M extends MonadRec<?,M>,MBA extends MonadBase<M,A,B>> MBA apply(MonadRec<A,M> ma)

lift

static <B extends MonadBase<?,?,B>> Lift<B> lift(Lift<B> lift)

Static method to aid inference.

Type Parameters:

B - the MonadBase to lift into

Parameters:

lift - the Lift

Returns:

the Lift