libretto-core
API
Generated with
libretto-core/libretto/libretto.puro/PuroLib/Junction/Negative

Negative

libretto.puro.PuroLib.Junction.Negative
See theNegative companion trait
object Negative

Attributes

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

Members list

Value members

Concrete methods

def apply[A](using A: Negative[A]): Negative[A]
def both[A, B](using A: Negative[A], B: Negative[B]): Negative[A dsl.|*| B]
def byFst[A, B](using A: Negative[A]): Negative[A dsl.|*| B]
def bySnd[A, B](using B: Negative[B]): Negative[A dsl.|*| B]
def delayChoice[A, B](using A: Negative[A], B: Negative[B]): Negative[A dsl.|&| B]
def delayEither[A, B](using A: Negative[A], B: Negative[B]): Negative[A dsl.|+| B]
def delegateToChosen[A, B](using A: Negative[A], B: Negative[B]): Negative[A dsl.|&| B]
def delegateToEither[A, B](using A: Negative[A], B: Negative[B]): Negative[A dsl.|+| B]
def from[A](await: A dsl.-⚬ (dsl.Need dsl.|*| A)): Negative[A]
def insideInversion[A](using A: Negative[A]): Negative[dsl.-[A]]
def rec[F[_]](using F: Negative[F[dsl.Rec[F]]]): Negative[dsl.Rec[F]]
def rec[F[_]](using F: ForAll[[x] =>> Negative[F[x]]]): Negative[dsl.Rec[F]]
def rec[F[_]](f: Negative[dsl.Rec[F]] => Negative[F[dsl.Rec[F]]]): Negative[dsl.Rec[F]]

Givens

Givens

given junctionNeed: Negative[dsl.Need]
Generated with