Positive

libretto.CoreLib.Deferrable.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 byFst[A, B](using A: Positive[A]): Positive[A |*| B]
def bySnd[A, B](using B: Positive[B]): Positive[A |*| B]
def from[A](f: Ping |*| A -⚬ A): Positive[A]