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

Negative

libretto.CoreLib.Signaling.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 choice[A, B](A: Negative[A], B: Negative[B]): Negative[A |&| B]
def from[A](notifyFst: Pong |*| A -⚬ 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]]]): Negative[Rec[F]]

Givens

Givens

given choice[A, B]: Negative[A |&| B]

Signals when the choice is made between A and B.

Signals when the choice is made between A and B.

Attributes

Generated with