libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/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

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 delayChoice[A, B](implicit A: Positive[A], B: Positive[B]): Positive[A |&| B]
def delayEither[A, B](implicit A: Positive[A], B: Positive[B]): Positive[A |+| B]
def delegateToChosen[A, B](implicit A: Positive[A], B: Positive[B]): Positive[A |&| B]
def delegateToEither[A, B](implicit A: Positive[A], B: Positive[B]): Positive[A |+| B]
def from[A](await: Done |*| A -⚬ 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 junctionDone: Positive[Done]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL