specs2-common/org.specs2.control.eff/StatelessLoop

StatelessLoop

trait StatelessLoop[M[_], R, A, B, C]

Generalisation of Recurse

class Object
trait Matchable
class Any

Value members

Abstract methods

def onApplicativeEffect[X, T[_] : Traverse](xs: T[M[X]], continuation: Arrs[R, T[X], A]): Either[Eff[R, A], B]
def onEffect[X](x: M[X], continuation: Arrs[R, X, A]): Either[Eff[R, A], B]
def onLastApplicativeEffect[X, T[_] : Traverse](xs: T[M[X]], continuation: Arrs[R, T[X], Unit]): Either[Eff[R, Unit], C]
def onLastEffect[X](x: M[X], continuation: Arrs[R, X, Unit]): Either[Eff[R, Unit], C]
def onPure(a: A): Either[Eff[R, A], B]