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 trait
object Positive

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: Positive[A], B: Positive[B]): Positive[A |*| B]
def byFst[A, B](implicit A: Positive[A]): Positive[A |*| B]
def bySnd[A, B](implicit B: Positive[B]): Positive[A |*| B]
def from[A](notifyFst: A -⚬ Ping |*| A): Positive[A]
def rec[F[_]](implicit F: Positive[F[Rec[F]]]): Positive[Rec[F]]
def rec[F[_]](implicit F: ForAll[[x] =>> Positive[F[x]]]): Positive[Rec[F]]
def rec[F[_]](f: Positive[Rec[F]] => Positive[F[Rec[F]]]): Positive[Rec[F]]

Implicits

Implicits

implicit def either[A, B]: Positive[A |+| B]

Signals when it is decided which side of the |+| is present.

Signals when it is decided which side of the |+| is present.

Attributes

implicit def signalingDone: Positive[Done]
implicit def signalingPing: Positive[Ping]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL