Impl

libretto.lambda.ObjectMap.Unpaired$.Impl
case class Impl[A1, A2, T1, T2](f1: F[A1, T1], f2: F[A2, T2]) extends Unpaired[A1, A2, T1 <*> T2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Unpaired[A1, A2, T1 <*> T2]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

override type X1 = T1
override type X2 = T2

Value members

Concrete methods

override def ev: T1 <*> T2 =:= X1 <*> X2

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product