Unapply2

trait Unapply2[TC[_[_, _]], MAB]
Companion
object
class Object
trait Matchable
class Any

Type members

Types

type A

The first type that M was applied to

The first type that M was applied to

type B

The second type that M was applied to

The second type that M was applied to

type M[_, _]

The type constructor

The type constructor

Value members

Abstract methods

def TC: TC[M]

The instance of the type class

The instance of the type class

def leibniz: MAB === M[A, B]

Evidence that MAB === M[A, B]

Evidence that MAB === M[A, B]

Concrete methods

@inline
final
def apply(ma: MAB): M[A, B]

Compatibility.

Compatibility.