Monadic

Type Members

implicit final class EachOps[F[_], A] extends AnyRef

The temporary wrapper that contains the each method.
The temporary wrapper that contains the each method.
F
the higher kinded type of the monadic value.
A
the element type of of the monadic value.
final class PartialAppliedMonadic[M[_[_]], F[_]] extends AnyRef

Partial applied function instance to convert a monadic expression.
Partial applied function instance to convert a monadic expression.
For type inferring only.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def catchIoMonadic[F[_]](body: AnyRef)(implicit monad: MonadCatchIO[F]): F[body.type]

[use case] Captures all the result in the body and converts them into a F.
[use case]
Captures all the result in the body and converts them into a F.
Note that body may contain any try / catch / throw expressions.
F
the higher kinded type of the monadic expression.
body
the imperative style expressions that will be transform to monadic style.
monad
the monad that executes expressions in body.

Full Signature
def catchIoMonadic[F[_]]: PartialAppliedMonadic[MonadCatchIO, F]
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
def monadic[F[_]](body: AnyRef)(implicit monad: Monad[F]): F[body.type]

[use case] Captures all the result in the body and converts them into a F.
[use case]
Captures all the result in the body and converts them into a F.
Note that body must not contain any try / catch / throw expressions.
F
the higher kinded type of the monadic expression.
body
the imperative style expressions that will be transform to monadic style.
monad
the monad that executes expressions in body.

Full Signature
def monadic[F[_]]: PartialAppliedMonadic[Monad, F]
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
implicit def toEachOpsUnapply[FA](v: FA)(implicit F0: Unapply[Bind, FA]): EachOps[M, A]

An implicit view to enable .each for a monadic value.
An implicit view to enable .each for a monadic value.
FA
type of the monadic value.
v
the monadic value.
F0
a helper to infer types.
returns
the temporary wrapper that contains the each method.
def toString(): String

Definition Classes
AnyRef → Any
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( ... )

Related Doc: package each

object Monadic

Type Members

implicit final class EachOps[F[_], A] extends AnyRef

final class PartialAppliedMonadic[M[_[_]], F[_]] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def catchIoMonadic[F[_]](body: AnyRef)(implicit monad: MonadCatchIO[F]): F[body.type]

def catchIoMonadic[F[_]]: PartialAppliedMonadic[MonadCatchIO, F]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def monadic[F[_]](body: AnyRef)(implicit monad: Monad[F]): F[body.type]

def monadic[F[_]]: PartialAppliedMonadic[Monad, F]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

implicit def toEachOpsUnapply[FA](v: FA)(implicit F0: Unapply[Bind, FA]): EachOps[M, A]

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped