Monad

Type Members

class Default[T] extends Fallback[T]

A default value provider.
A default value provider.
If you wish to receive the result of Monad[] not in an option value, declare an implicit value of Default[] of the result type. For example, if you wish to receive an Engine rather than an Option[Engine], declare an implicit value of Default[Engine].
```
implicit val defaultEngine: Default[Engine] =
  Default[Engine] { /* a default value : Engine */ }
```
implicit class Divergeable[R, S] extends AnyRef
final class Divergent[R] extends AnyVal

A type class to run each element of Monad[]s separately.
class Fallback[T] extends AnyRef
case class FlatMapped[R, Q, N, M](f: (Q) ⇒ N, m: M)(implicit monad1: <:<[M, Monad[Q]], check1: IsConcreteType[M], monad2: <:<[N, Monad[R]], check2: IsConcreteType[N]) extends Sig[R, Q, N, M] with Product with Serializable
abstract case class Resolve[R, Q](value: Q) extends Sig[R, Q, Null, Null] with Product with Serializable

A class to define a resolution from source values to target values.
A class to define a resolution from source values to target values.
Override run to define a concrete resolution.
final class RunOnImplicitConversion extends AnyVal
implicit class Runnable[R, M, S] extends AnyRef

A type class to run Monad[]s all together
sealed abstract class Sig[R, Q, N, M] extends Monad[R]
final case class SingleValue[T](value: T) extends AnyVal with Product with Serializable

A type tag to forbid implicit conversion on a list of monads.
A type tag to forbid implicit conversion on a list of monads.
It forbids an conversion from Seq[Monad[SingleValue[T]]] to Seq[T]. This is useful when you provide no Resolve.run which resolves multiple values all together but provide one which resolves each element separately (via Seq.map for example) and want to prevent users from expecting that they can be resolved at once.
case class Unit[R](value: R) extends Sig[R, Null, Null, Null] with Product with Serializable

A class to create a monad instance from an object of the result type.

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
object Default
object Fallback
object SingleValue extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): scala.Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
implicit def flatten[R, M, T](m: M)(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[T]], check: IsConcreteType[M], seq: (T) ⇒ Seq[R]): Seq[R]
implicit def flatten[R, M, T](ms: Seq[M])(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[T]], check: IsConcreteType[M], seq: (T) ⇒ Seq[R]): Seq[R]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

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

Definition Classes
AnyRef
final def notify(): scala.Unit

Definition Classes
AnyRef
final def notifyAll(): scala.Unit

Definition Classes
AnyRef
implicit def run[R, M](m: M)(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[R]], check: IsConcreteType[M]): Option[R]
implicit def run[R, M](ms: Seq[M])(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[R]], check: IsConcreteType[M]): Seq[R]
implicit def runWithDefault[R, M](m: M)(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[R]], check: IsConcreteType[M], unoption: Default[R]): R
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): scala.Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): scala.Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): scala.Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Monad | package bullet

object Monad

Type Members

class Default[T] extends Fallback[T]

implicit class Divergeable[R, S] extends AnyRef

final class Divergent[R] extends AnyVal

class Fallback[T] extends AnyRef

case class FlatMapped[R, Q, N, M](f: (Q) ⇒ N, m: M)(implicit monad1: <:<[M, Monad[Q]], check1: IsConcreteType[M], monad2: <:<[N, Monad[R]], check2: IsConcreteType[N]) extends Sig[R, Q, N, M] with Product with Serializable

abstract case class Resolve[R, Q](value: Q) extends Sig[R, Q, Null, Null] with Product with Serializable

final class RunOnImplicitConversion extends AnyVal

implicit class Runnable[R, M, S] extends AnyRef

sealed abstract class Sig[R, Q, N, M] extends Monad[R]

final case class SingleValue[T](value: T) extends AnyVal with Product with Serializable

case class Unit[R](value: R) extends Sig[R, Null, Null, Null] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Default

object Fallback

object SingleValue extends Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): scala.Unit

implicit def flatten[R, M, T](m: M)(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[T]], check: IsConcreteType[M], seq: (T) ⇒ Seq[R]): Seq[R]

implicit def flatten[R, M, T](ms: Seq[M])(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[T]], check: IsConcreteType[M], seq: (T) ⇒ Seq[R]): Seq[R]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): scala.Unit

final def notifyAll(): scala.Unit

implicit def run[R, M](m: M)(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[R]], check: IsConcreteType[M]): Option[R]

implicit def run[R, M](ms: Seq[M])(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[R]], check: IsConcreteType[M]): Seq[R]

implicit def runWithDefault[R, M](m: M)(implicit guard: RunOnImplicitConversion, monad: <:<[M, Monad[R]], check: IsConcreteType[M], unoption: Default[R]): R

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

def toString(): String

final def wait(): scala.Unit

final def wait(arg0: Long, arg1: Int): scala.Unit

final def wait(arg0: Long): scala.Unit

Inherited from AnyRef

Inherited from Any

Ungrouped