libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/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

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 from[A](notifyFst: Pong |*| A -⚬ 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]]]): Negative[Rec[F]]

Implicits

Implicits

implicit def 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

implicit def signalingNeed: Negative[Need]
implicit def signalingPong: Negative[Pong]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL