libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/PairwiseRel/Unpaired

Unpaired

libretto.lambda.PairwiseRel.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]
Generated with