libretto-core
API
Generated with
libretto-core/libretto/libretto.puro/PuroLib/Signaling/Positive

Positive

libretto.puro.PuroLib.Signaling.Positive
See thePositive companion trait
object Positive

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Positive.type

Members list

Value members

Concrete methods

def both[A, B](using A: Positive[A], B: Positive[B]): Positive[A dsl.|*| B]
def byFst[A, B](using A: Positive[A]): Positive[A dsl.|*| B]
def bySnd[A, B](using B: Positive[B]): Positive[A dsl.|*| B]
def either[A, B](A: Positive[A], B: Positive[B]): Positive[A dsl.|+| B]
def from[A](notifyFst: A dsl.-⚬ (dsl.Ping dsl.|*| A)): Positive[A]
def rec[F[_]](using F: Positive[F[dsl.Rec[F]]]): Positive[dsl.Rec[F]]
def rec[F[_]](using F: ForAll[[x] =>> Positive[F[x]]]): Positive[dsl.Rec[F]]
def rec[F[_]](f: Positive[dsl.Rec[F]] => Positive[F[dsl.Rec[F]]]): Positive[dsl.Rec[F]]

Givens

Givens

given either[A, B]: Positive[A dsl.|+| B]

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

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

Attributes

Generated with