coop/coop/ThreadF

ThreadF

object ThreadF
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Annotate[A](text: String, results: () => A) extends ThreadF[A]
final case class Await[A](id: MonitorId, results: () => A) extends ThreadF[A]
final case class Cede[A](results: () => A) extends ThreadF[A]
final case class Dedent[A](results: () => A) extends ThreadF[A]
case object Done extends ThreadF[Nothing]
final case class Fork[A](left: () => A, right: () => A) extends ThreadF[A]
final case class Indent[A](results: () => A) extends ThreadF[A]
final case class Monitor[A](body: MonitorId => A) extends ThreadF[A]
final class MonitorId
final case class Notify[A](id: MonitorId, results: () => A) extends ThreadF[A]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Implicits

Implicits

implicit val functor: Functor[[A] =>> ThreadF[A]]