Packages

object Monadic

Author:

杨博 (Yang Bo) <[email protected]>

Source
Monadic.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Monadic
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final class AnnotationBundle extends Preprocessor
    Annotations
    @bundle()
  2. 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.

  3. 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.

  4. implicit final class ToMonadicLoopOps[F[_], A] extends AnyRef
    Annotations
    @inline()
  5. final macro class catchIoMonadic[F[_]] extends Annotation with StaticAnnotation
    Annotations
    @compileTimeOnly("enable macro paradise to expand macro annotations")
  6. final macro class monadic[F[_]] extends Annotation with StaticAnnotation
    Annotations
    @compileTimeOnly("enable macro paradise to expand macro annotations")
  7. final macro class throwableMonadic[F[_]] extends Annotation with StaticAnnotation
    Annotations
    @compileTimeOnly("enable macro paradise to expand macro annotations")

Deprecated Type Members

  1. 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

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. 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[_]]: MonadicFactory[MonadCatchIO, F]

  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  7. implicit def eitherTMonadThrowable[F[_], G[_[_], _]](implicit F0: Monad[[y]G[F, y]]): MonadThrowable[[x]EitherT[[y]G[F, y], Throwable, x]]
    Annotations
    @inline()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  10. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. implicit def getUnderlying[F[_], A](monadicLoop: MonadicLoop[F, A]): F[A]
    Annotations
    @inline()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. implicit def lazyEitherTMonadThrowable[F[_], G[_[_], _]](implicit F0: Monad[[y]G[F, y]]): MonadThrowable[[x]LazyEitherT[[y]G[F, y], Throwable, x]]
    Annotations
    @inline()
  15. 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[_]]: MonadicFactory[Monad, F]

  16. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  19. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  20. 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[_]]: MonadicFactory[MonadThrowable, F]

  21. 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()
  22. 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()
  23. 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()
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  27. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. object EachOps extends Serializable
  29. object MonadicLoop

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped