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.
type MonadThrowable[F[_]] = MonadError[_[Throwable, A] <: F[A], Throwable]

A scalaz.Monad that supports exception handling.
A scalaz.Monad that supports exception handling.
Note this is a simplified version of scalaz.MonadError.
final class PartialAppliedMonadic[M[_[_]], F0[_], Mode <: ExceptionHandlingMode] 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, MonadCatchIoMode.type]
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def eitherTMonadThrowable[F[_]](implicit F0: Monad[F]): MonadThrowable[[x]EitherT[F, Throwable, x]]
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
implicit def lazyEitherTMonadThrowable[F[_]](implicit F0: Monad[F]): MonadThrowable[[x]LazyEitherT[F, Throwable, x]]
implicit def monadErrorToMonadThrowable[F[_, _]](implicit monadError: MonadError[F, Throwable]): MonadThrowable[[α]F[Throwable, α]]
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, UnsupportedExceptionHandlingMode.type]
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 throwableMonadic[F[_]](body: AnyRef)(implicit monad: MonadThrowable[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 throwableMonadic[F[_]]: PartialAppliedMonadic[MonadThrowable, F, MonadThrowableMode.type]
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

type MonadThrowable[F[_]] = MonadError[_[Throwable, A] <: F[A], Throwable]

final class PartialAppliedMonadic[M[_[_]], F0[_], Mode <: ExceptionHandlingMode] 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, MonadCatchIoMode.type]

def clone(): AnyRef

implicit def eitherTMonadThrowable[F[_]](implicit F0: Monad[F]): MonadThrowable[[x]EitherT[F, Throwable, x]]

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

implicit def lazyEitherTMonadThrowable[F[_]](implicit F0: Monad[F]): MonadThrowable[[x]LazyEitherT[F, Throwable, x]]

implicit def monadErrorToMonadThrowable[F[_, _]](implicit monadError: MonadError[F, Throwable]): MonadThrowable[[α]F[Throwable, α]]

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

def monadic[F[_]]: PartialAppliedMonadic[Monad, F, UnsupportedExceptionHandlingMode.type]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def throwableMonadic[F[_]](body: AnyRef)(implicit monad: MonadThrowable[F]): F[body.type]

def throwableMonadic[F[_]]: PartialAppliedMonadic[MonadThrowable, F, MonadThrowableMode.type]

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