Impure

org.specs2.control.eff.Impure

case class Impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A], last: Last[R]) extends Eff[R, A]

Impure is an effect (encoded as one possibility among other effects, a Union) and a continuation providing the next Eff value.

This essentially models a flatMap operation with the current effect and the monadic function to apply to a value once the effect is interpreted

One effect can always be executed last, just for side-effects

Attributes

Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait Eff[R, A]

class Object

trait Matchable

class Any
Show all

add one last action to be executed after any computation chained to this Eff value

add one last action to be executed after any computation chained to this Eff value

In this article

Generated with