libretto/libretto/CoreLib/SignalingJunction/Negative

Negative

object Negative
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def both[A, B](implicit A: Negative[A], B: Negative[B]): Negative[A |*| B]
def byFst[A, B](implicit A: Negative[A]): Negative[A |*| B]
def bySnd[A, B](implicit B: Negative[B]): Negative[A |*| B]
def choiceNeg[A, B](implicit A: Negative[A], B: Negative[B]): Negative[A |&| B]

Signals when the choice (|&|) is made, awaiting delays the choice and then is delegated to the chosen side.

Signals when the choice (|&|) is made, awaiting delays the choice and then is delegated to the chosen side.

def choicePos[A, B](implicit A: Positive[A], B: Positive[B]): Negative[A |&| B]

Signals when the choice (|&|) is made, awaiting delays the choice and then is delegated to the chosen side, which awaits inversion of the original signal.

Signals when the choice (|&|) is made, awaiting delays the choice and then is delegated to the chosen side, which awaits inversion of the original signal.

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

Implicits

Implicits