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 Detail

      • checkedApply

        <A,​M extends MonadRec<?,​M>> MonadBase<M,​A,​B> checkedApply​(MonadRec<A,​M> ga)
                                                                                   throws java.lang.Throwable
        Throws:
        java.lang.Throwable
      • 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