Package org.jmanikin.core

Interface Effect<I extends Id<O>,​O,​E>

Type Parameters:
I - the Id Type
O - the Object Type
E - the Effect Type
All Known Implementing Classes:
LocalMessage.LocalEnvironment
public interface Effect<I extends Id<O>,​O,​E>

The Effect stage of building a Message.

  • Method Summary

    Modifier and Type Method Description
    PostCondition<I,​O,​E> eff​(java.util.function.Supplier<E> eff)
    Build the next post-condition stage, given a lazy effect R supplier.

  • Method Details

    • eff

      PostCondition<I,​O,​E> eff​(java.util.function.Supplier<E> eff)
      Build the next post-condition stage, given a lazy effect R supplier.
      Parameters:
      eff - the supplier of the post-condition R
      Returns:
      the post-condition stage