libretto/libretto/CoreLib/Junction/Negative

Negative

object Negative
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Implicits

Implicits

implicit def junctionNeed: Negative[Need]