com.jnape.palatable.lambda.monad.SafeT.Body.More<M,A>

All Implemented Interfaces:: CoProduct2<Either<MonadRec<SafeT.Body<M,A>, M>, A>, SafeT.Body.Suspended<M,?,A>, SafeT.Body<M,A>>

private static final class SafeT.Body.More<M extends MonadRec<?,M>, A> extends SafeT.Body<M,A>

Field Details
- mfa
  
  private final MonadRec<SafeT.Body<M extends MonadRec<?,M>, A>, M extends MonadRec<?,M>> mfa
Constructor Details
- More
  
  private More(MonadRec<SafeT.Body<M,A>, M> mfa)
Method Details
- match
  
  public <R> R match(Fn1<? super Either<MonadRec<SafeT.Body<M,A>, M>, A>, ? extends R> aFn, Fn1<? super SafeT.Body.Suspended<M,?,A>, ? extends R> bFn)
  
  Description copied from interface: CoProduct2
  
  Type-safe convergence requiring a match against all potential types.
  
  Type Parameters:
  
  R - result type
  
  Parameters:
  
  aFn - morphism A -> R
  
  bFn - morphism B -> R
  
  Returns:
  
  the result of applying the appropriate morphism to this coproduct's unwrapped value
- resume
  
  public Either<MonadRec<SafeT.Body<M,A>, M>, A> resume()
  
  Specified by:
  
  resume in class SafeT.Body<M extends MonadRec<?,M>, A>

Class SafeT.Body.More<M extends MonadRec<?,M>, A>

Field Summary