Both

libretto.lambda.Bin.Partitioned.Both
final case class Both[G[_], H[_], X, Y, ~⚬[_, _]](l: Bin[<*>, T, G, X], r: Bin[<*>, T, H, Y], f: (X <*> Y) ~⚬ A) extends Partitioned[G, H, ~⚬]

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product