Negative

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

Givens