DescribedComputationT

treelog.LogTreeSyntaxWithoutAnnotations.DescribedComputationT
case class DescribedComputationT[F[_], A](run: F[DescribedComputation[A]])

Represents a computation of type F[DescribedCompution[A]].

Example:

val x: Option[DescribedComputation[Int]] = Some(1 ~> "1")
val y: Option[DescribedComputation[Int]] = Some(2 ~> "1")
val z: Option[DescribedComputation[Int]] = (for {
 one <- DescribedComputationT(x)
 two <- DescribedComputationT(y)
 res <- DescribedComputationT(Some((one + two) ~> ("1 + 2 =" + _))
} yield res).run

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

def flatMap[B](f: A => DescribedComputationT[F, B])(implicit F: Monad[F]): DescribedComputationT[F, B]
def map[B](f: A => B)(implicit F: Functor[F]): DescribedComputationT[F, B]
def mapT[G[_], B](f: F[DescribedComputation[A]] => G[DescribedComputation[B]]): DescribedComputationT[G, B]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product