Unapply21

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

Type members

Types

type A
type B
type M[_, _]

Value members

Abstract methods

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

Concrete methods

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