libretto-core
API
Generated with
libretto-core/libretto/CoreLib/SignalingJunction/Negative

Negative

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

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Negative.type

Members list

Value members

Concrete methods

def both[A, B](using A: Negative[A], B: Negative[B]): Negative[A |*| B]
def byFst[A, B](using A: Negative[A]): Negative[A |*| B]
def bySnd[A, B](using B: Negative[B]): Negative[A |*| B]
def choiceNeg[A, B](using 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](using 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[_]](using F: Negative[F[Rec[F]]]): Negative[Rec[F]]
def rec[F[_]](using 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]]

Givens

Givens

Generated with