libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Junction/Positive

Positive

libretto.CoreLib.Junction.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 |*| B]
def byFst[A, B](using A: Positive[A]): Positive[A |*| B]
def bySnd[A, B](using B: Positive[B]): Positive[A |*| B]
def delayChoice[A, B](using A: Positive[A], B: Positive[B]): Positive[A |&| B]
def delayEither[A, B](using A: Positive[A], B: Positive[B]): Positive[A |+| B]
def delegateToChosen[A, B](using A: Positive[A], B: Positive[B]): Positive[A |&| B]
def delegateToEither[A, B](using A: Positive[A], B: Positive[B]): Positive[A |+| B]
def from[A](await: Done |*| A -⚬ A): Positive[A]
def rec[F[_]](using F: Positive[F[Rec[F]]]): Positive[Rec[F]]
def rec[F[_]](using F: ForAll[[x] =>> Positive[F[x]]]): Positive[Rec[F]]
def rec[F[_]](f: Positive[Rec[F]] => Positive[F[Rec[F]]]): Positive[Rec[F]]

Givens

Givens

Generated with