MonadicLoop

Instance Constructors

new MonadicLoop(underlying: F0[A])

Type Members

type Element = A
type F[X] = F0[X]

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (MonadicLoop[F0, A], B)

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to ArrowAssoc[MonadicLoop[F0, A]] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def each: A

Semantically, returns the result in the monadic value.
Semantically, returns the result in the monadic value.
This macro must be inside a monadic or a catchIoMonadic block.
This is not a real method, thus it will never actually execute. Instead, the call to this method will be transformed to a monadic expression. The actually result is passing as a parameter to some scalaz.Monad#bind and scalaz.Monad#point calls instead of as a return value.
returns
the result in the monadic value.

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to EachOps[M, A] performed by method toEachOpsUnapply in com.thoughtworks.each.Monadic. This conversion will take place only if an implicit value of type Unapply[Bind, MonadicLoop[F0, A]] is in scope.
Definition Classes
EachOps
Annotations
@macroImpl( ... )
def ensuring(cond: (MonadicLoop[F0, A]) ⇒ Boolean, msg: ⇒ Any): MonadicLoop[F0, A]

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to Ensuring[MonadicLoop[F0, A]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (MonadicLoop[F0, A]) ⇒ Boolean): MonadicLoop[F0, A]

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to Ensuring[MonadicLoop[F0, A]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): MonadicLoop[F0, A]

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to Ensuring[MonadicLoop[F0, A]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): MonadicLoop[F0, A]

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to Ensuring[MonadicLoop[F0, A]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def filter(f: (A) ⇒ Boolean)(implicit traverse: Traverse[F], monadPlus: MonadPlus[F]): MonadicLoop[F, A]

Annotations
@macroImpl( ... )
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def flatMap[B](f: (A) ⇒ F[B])(implicit traverse: Traverse[F], bind: Bind[F]): MonadicLoop[F, B]

Annotations
@macroImpl( ... )
def foreach[U](f: (A) ⇒ U)(implicit foldable: Foldable[F]): Unit

Annotations
@macroImpl( ... )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def map[B](f: (A) ⇒ B)(implicit traverse: Traverse[F]): MonadicLoop[F, B]

Annotations
@macroImpl( ... )
def monadicLoop: MonadicLoop[M, A]

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to ToMonadicLoopOps[M, A] performed by method toMonadicLoopOpsUnapply in com.thoughtworks.each.Monadic. This conversion will take place only if an implicit value of type Unapply[Foldable, MonadicLoop[F0, A]] is in scope.
Definition Classes
ToMonadicLoopOps
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toFoldableOps(implicit foldable: Foldable[F]): FoldableOps[F0, A]

Annotations
@inline()
def toString(): String

Definition Classes
AnyRef → Any
def toTraverseOps(implicit traverse: Traverse[F]): TraverseOps[F0, A]

Annotations
@inline()
val underlying: F0[A]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def withFilter(f: (A) ⇒ Boolean)(implicit traverse: Traverse[F], monadPlus: MonadPlus[F]): MonadicLoop[F, A]

Annotations
@macroImpl( ... )
def →[B](y: B): (MonadicLoop[F0, A], B)

Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to ArrowAssoc[MonadicLoop[F0, A]] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Shadowed Implicit Value Members

val self: Any
Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to StringAdd performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(monadicLoop: StringAdd).self
Definition Classes
StringAdd
val self: Any
Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to StringFormat performed by method any2stringfmt in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(monadicLoop: StringFormat).self
Definition Classes
StringFormat
val underlying: M[A]

the underlying monadic value.
the underlying monadic value.
Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to EachOps[M, A] performed by method toEachOpsUnapply in com.thoughtworks.each.Monadic. This conversion will take place only if an implicit value of type Unapply[Bind, MonadicLoop[F0, A]] is in scope.
Shadowing
This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:
(monadicLoop: EachOps[M, A]).underlying
Definition Classes
EachOps

Deprecated Value Members

def x: MonadicLoop[F0, A]
Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to ArrowAssoc[MonadicLoop[F0, A]] performed by method any2ArrowAssoc in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(monadicLoop: ArrowAssoc[MonadicLoop[F0, A]]).x
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: MonadicLoop[F0, A]
Implicit information
This member is added by an implicit conversion from MonadicLoop[F0, A] to Ensuring[MonadicLoop[F0, A]] performed by method any2Ensuring in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(monadicLoop: Ensuring[MonadicLoop[F0, A]]).x
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

final class MonadicLoop[F0[_], A] extends AnyRef

Instance Constructors

new MonadicLoop(underlying: F0[A])

Type Members

type Element = A

type F[X] = F0[X]

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (MonadicLoop[F0, A], B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def each: A

def ensuring(cond: (MonadicLoop[F0, A]) ⇒ Boolean, msg: ⇒ Any): MonadicLoop[F0, A]

def ensuring(cond: (MonadicLoop[F0, A]) ⇒ Boolean): MonadicLoop[F0, A]

def ensuring(cond: Boolean, msg: ⇒ Any): MonadicLoop[F0, A]

def ensuring(cond: Boolean): MonadicLoop[F0, A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def filter(f: (A) ⇒ Boolean)(implicit traverse: Traverse[F], monadPlus: MonadPlus[F]): MonadicLoop[F, A]

def finalize(): Unit

def flatMap[B](f: (A) ⇒ F[B])(implicit traverse: Traverse[F], bind: Bind[F]): MonadicLoop[F, B]

def foreach[U](f: (A) ⇒ U)(implicit foldable: Foldable[F]): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def map[B](f: (A) ⇒ B)(implicit traverse: Traverse[F]): MonadicLoop[F, B]

def monadicLoop: MonadicLoop[M, A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toFoldableOps(implicit foldable: Foldable[F]): FoldableOps[F0, A]

def toString(): String

def toTraverseOps(implicit traverse: Traverse[F]): TraverseOps[F0, A]

val underlying: F0[A]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def withFilter(f: (A) ⇒ Boolean)(implicit traverse: Traverse[F], monadPlus: MonadPlus[F]): MonadicLoop[F, A]

def →[B](y: B): (MonadicLoop[F0, A], B)

Shadowed Implicit Value Members

val self: Any

val self: Any

val underlying: M[A]

Deprecated Value Members

def x: MonadicLoop[F0, A]

def x: MonadicLoop[F0, A]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion toEachOpsUnapply from MonadicLoop[F0, A] to EachOps[M, A]

Inherited by implicit conversion toMonadicLoopOpsUnapply from MonadicLoop[F0, A] to ToMonadicLoopOps[M, A]

Inherited by implicit conversion any2stringadd from MonadicLoop[F0, A] to StringAdd

Inherited by implicit conversion any2stringfmt from MonadicLoop[F0, A] to StringFormat

Inherited by implicit conversion any2ArrowAssoc from MonadicLoop[F0, A] to ArrowAssoc[MonadicLoop[F0, A]]

Inherited by implicit conversion any2Ensuring from MonadicLoop[F0, A] to Ensuring[MonadicLoop[F0, A]]

Ungrouped