Negative

libretto.CoreLib.SignalingJunction$.Negative$
See theNegative companion trait
object Negative

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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.

Attributes

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.

Attributes

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