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	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 Details

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