libretto/libretto/CoreLib/SignalingJunction/Positive

Positive

object Positive
Companion
class
class Object
trait Matchable
class Any

Value members

Methods

def both[A, B](A: Positive[A], B: Positive[B]): Positive[A |*| B]
def byFst[A, B](A: Positive[A]): Positive[A |*| B]
def bySnd[A, B](B: Positive[B]): Positive[A |*| B]
def eitherNeg[A, B](A: Negative[A], B: Negative[B]): Positive[A |+| B]

Signals when the |+| is decided, awaiting delays (the publication of) the decision and then is delegated to the respective side, which awaits an inversion of the original signal.

def eitherPos[A, B](A: Positive[A], B: Positive[B]): Positive[A |+| B]

Signals when the |+| is decided, awaiting delays (the publication of) the decision and thed is delegated to the respective side.

def from[A](s: Positive[A], j: Positive[A]): Positive[A]
def rec[F[_]](F: Positive[F[Rec[F]]]): Positive[Rec[F]]
def rec[F[_]](F: ForAll[[x] =>> Positive[F[x]]]): Positive[Rec[F]]
def rec[F[_]](f: Positive[Rec[F]] => Positive[F[Rec[F]]], g: Positive[Rec[F]] => Positive[F[Rec[F]]]): Positive[Rec[F]]

Implicits

Implicits