Monadic

Type Members

final class AnnotationBundle extends Preprocessor
final case class EachOps[M0[_], A0](underlying: M0[A0]) extends Product with Serializable

The temporary wrapper that contains the each method.
type MonadThrowable[F[_]] = MonadError[F, Throwable]

A scalaz.Monad that supports exception handling.
A scalaz.Monad that supports exception handling.
Note this is a simplified version of scalaz.MonadError.
implicit final class ToMonadicLoopOps[F[_], A] extends AnyRef

Annotations
@inline()
final class catchIoMonadic[F[_]] extends Annotation with StaticAnnotation

Annotations
@compileTimeOnly( ... )
final class monadic[F[_]] extends Annotation with StaticAnnotation

Annotations
@compileTimeOnly( ... )
final class throwableMonadic[F[_]] extends Annotation with StaticAnnotation

Annotations
@compileTimeOnly( ... )
final class MonadicLoop[F0[_], A] extends AnyRef

Annotations
@deprecated
Deprecated
(Since version 1.0.1) Use @monadic[X] def f = { ... } instead of monadic[X] { ... }. Note that you can remove .monadicLoop in @monadic methods.

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
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
object AnnotationBundle
object EachOps extends Serializable
object MonadicLoop
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.
returns

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit def eitherTMonadThrowable[F[_], G[_[_], _]](implicit F0: Monad[[y]G[F, y]]): MonadThrowable[[x]EitherT[[y]G[F, y], Throwable, x]]

Annotations
@inline()
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
implicit def getUnderlying[F[_], A](monadicLoop: MonadicLoop[F, A]): F[A]

Annotations
@inline()
def hashCode(): Int

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

Definition Classes
Any
implicit def lazyEitherTMonadThrowable[F[_], G[_[_], _]](implicit F0: Monad[[y]G[F, y]]): MonadThrowable[[x]LazyEitherT[[y]G[F, y], Throwable, x]]

Annotations
@inline()
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.
returns

Full Signature
def monadic[F[_]]: MonadicFactory[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
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.
returns

Full Signature
def throwableMonadic[F[_]]: MonadicFactory[MonadThrowable, F]
implicit def toEachOps[F[_], A](v: F[A]): EachOps[F, A]

An implicit view to enable .each for a monadic value.
An implicit view to enable .each for a monadic value.
v
the monadic value.
returns
the temporary wrapper that contains the each method.

Annotations
@inline()
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.

Annotations
@inline()
implicit def toMonadicLoopOpsUnapply[FA](v: FA)(implicit F0: Unapply[Foldable, FA]): ToMonadicLoopOps[M, A]

An implicit view to enable for yield comprehension for a monadic value.
An implicit view to enable for yield comprehension 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.

Annotations
@inline()
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( ... )

object Monadic

Type Members

final class AnnotationBundle extends Preprocessor

final case class EachOps[M0[_], A0](underlying: M0[A0]) extends Product with Serializable

type MonadThrowable[F[_]] = MonadError[F, Throwable]

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

final class catchIoMonadic[F[_]] extends Annotation with StaticAnnotation

final class monadic[F[_]] extends Annotation with StaticAnnotation

final class throwableMonadic[F[_]] extends Annotation with StaticAnnotation

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

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object AnnotationBundle

object EachOps extends Serializable

object MonadicLoop

final def asInstanceOf[T0]: T0

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

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

def clone(): AnyRef

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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

implicit def getUnderlying[F[_], A](monadicLoop: MonadicLoop[F, A]): F[A]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

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

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

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

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[_]]: MonadicFactory[MonadThrowable, F]

implicit def toEachOps[F[_], A](v: F[A]): EachOps[F, A]

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

implicit def toMonadicLoopOpsUnapply[FA](v: FA)(implicit F0: Unapply[Foldable, FA]): ToMonadicLoopOps[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