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