object Monadic
Author:
杨博 (Yang Bo) <[email protected]>
- Alphabetic
- By Inheritance
- Monadic
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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.The temporary wrapper that contains the
each
method.- M0
the higher kinded type of the monadic value.
- A0
the element type of of the monadic value.
- underlying
the underlying monadic value.
-
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 macro
class
catchIoMonadic
[F[_]] extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly( ... ) @compileTimeOnly( ... )
-
final macro
class
monadic
[F[_]] extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly( ... ) @compileTimeOnly( ... )
-
final macro
class
throwableMonadic
[F[_]] extends Annotation with StaticAnnotation
- Annotations
- @compileTimeOnly( ... ) @compileTimeOnly( ... )
-
final
class
MonadicLoop
[F0[_], A] extends AnyRef
- Annotations
- @deprecated
- Deprecated
(Since version 1.0.1) Use
@monadic[X] def f = { ... }
instead ofmonadic[X] { ... }
. Note that you can remove.monadicLoop
in@monadic
methods.
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 aF
.[use case]Captures all the result in the
body
and converts them into aF
.Note that
body
may contain anytry
/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 Signaturedef 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 aF
.[use case]Captures all the result in the
body
and converts them into aF
.Note that
body
must not contain anytry
/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 Signaturedef 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 aF
.[use case]Captures all the result in the
body
and converts them into aF
.Note that
body
may contain anytry
/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 Signaturedef 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 EachOps extends Serializable
- object MonadicLoop