libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Signaling/Positive

Positive

libretto.CoreLib.Signaling$.Positive
See thePositive companion object
trait Positive[A]

Represents ''a'' way how A can produce a positive signal (i.e. Ping or Done).

Attributes

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

Members list

Concise view

Value members

Abstract methods

Concrete methods

def signalDone: A -⚬ A |*| Done

Alias for signalPosSnd.

Alias for signalPosSnd.

Attributes

def signalPos: A -⚬ Done |*| A

Alias for signalPosFst.

Alias for signalPosFst.

Attributes

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL