final case class Monadic[F[_], A](fa: F[A]) extends Keyword[Monadic[F, A], A] with Product with Serializable
A keyword for extracting monadic value from the monadic expression fa.
- Source
- Monadic.scala
- To do
Monadic should be a scala.AnyVal after https://github.com/scala/bug/issues/10595 is resolved.
- See also
com.thoughtworks.dsl.domains.cats for using this Monadic keyword with cats.Monad.
com.thoughtworks.dsl.domains.scalaz for using this Monadic keyword with scalaz.Monad.
- Alphabetic
- By Inheritance
- Monadic
- Serializable
- Serializable
- Product
- Equals
- Keyword
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Monadic(fa: F[A])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Monadic[F, A], B)
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def apply[Domain](handler: (A) ⇒ Domain)(implicit dsl: Dsl[Monadic[F, A], Domain, A]): Domain
- Definition Classes
- Keyword
- Annotations
- @inline()
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- final def cpsApply[Domain](handler: (A) ⇒ Domain)(implicit dsl: Dsl[Monadic[F, A], Domain, A]): Domain
- Definition Classes
- Keyword
- Annotations
- @inline()
- def ensuring(cond: (Monadic[F, A]) ⇒ Boolean, msg: ⇒ Any): Monadic[F, A]
- def ensuring(cond: (Monadic[F, A]) ⇒ Boolean): Monadic[F, A]
- def ensuring(cond: Boolean, msg: ⇒ Any): Monadic[F, A]
- def ensuring(cond: Boolean): Monadic[F, A]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val fa: F[A]
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def formatted(fmtstr: String): String
- final def getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- final def unary_!: A
- Definition Classes
- Keyword
- Annotations
- @shift() @compileTimeOnly("This method requires the compiler plugin: `addCompilerPlugin(\"com.thoughtworks.dsl\" %% \"compilerplugins-bangnotation\" % \"latest.release\")` and must only be called inside a code block annotated as `@reset`.")
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.InterruptedException])
- def →[B](y: B): (Monadic[F, A], B)