OpticProduct

glass.OpticProduct
trait OpticProduct[O[s, t, a, b]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object PContains
object PEquivalent
object PSame
object PUpcast

Members list

Value members

Abstract methods

def product[S1, S2, T1, T2, A1, A2, B1, B2](f: O[S1, T1, A1, B1], g: O[S2, T2, A2, B2]): O[(S1, S2), (T1, T2), (A1, A2), (B1, B2)]