libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Junction/Negative

Negative

libretto.CoreLib.Junction$.Negative
See theNegative companion object
trait Negative[A] extends Negative[A]

Represents ''a'' way how A can await (join) a negative (i.e. Need) signal.

Attributes

Companion:
object
Graph
Supertypes
trait Negative[A]
class Object
trait Matchable
class Any
Known subtypes
trait Negative[A]

Members list

Concise view

Value members

Abstract methods

Concrete methods

def awaitNeg: A -⚬ Need |*| A

Alias for awaitNegFst.

Alias for awaitNegFst.

Attributes

override def awaitPongFst: A -⚬ Pong |*| A

Attributes

Definition Classes
def detain: A -⚬ Detained[A]

Inherited methods

def awaitPong: A -⚬ Pong |*| A

Alias for awaitPongFst.

Alias for awaitPongFst.

Attributes

Inherited from:
Negative
def awaitPongSnd: A -⚬ A |*| Pong

Attributes

Inherited from:
Negative
def defer: A -⚬ Deferred[A]

Attributes

Inherited from:
Negative
def law_awaitPongComposition: Equal[A -⚬ Pong |*| Pong |*| A]

Attributes

Inherited from:
Negative
def law_awaitPongIdentity: Equal[A -⚬ One |*| A]

Attributes

Inherited from:
Negative
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL