Unpaired

libretto.lambda.ObjectMap.Unpaired
See theUnpaired companion object
sealed trait Unpaired[A1, A2, X]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Impl[A1, A2, T1, T2]

Members list

Type members

Types

type X1
type X2

Value members

Abstract methods

def ev: X =:= X1 <*> X2

Abstract fields

val f1: F[A1, X1]
val f2: F[A2, X2]