final
class
TagOf[T] extends ~>[Id.Id, [α$0$]AnyRef { ... /* 2 definitions in type refinement */ }]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
andThen[H[_]](f: ~>[[α$0$]AnyRef { ... /* 2 definitions in type refinement */ }, H]): ~>[Id.Id, H]
-
def
apply[A](a: A): @@[A, T]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
compose[E[_]](f: ~>[E, Id.Id]): ~>[E, [α$0$]AnyRef { ... /* 2 definitions in type refinement */ }]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
onContra[FA](fa: FA)(implicit U: Unapply[Contravariant, FA]): M[@@[A, T]]
-
def
onCov[FA](fa: FA)(implicit U: Unapply[Functor, FA]): M[@@[A, T]]
-
def
onF[A, B](fa: (A) ⇒ B): (A) ⇒ @@[B, T]
-
def
subst[F[_], A](fa: F[A]): F[@@[A, T]]
-
def
subst1[F[_[_]], G[_]](fa: F[G]): F[[α]AnyRef { ... /* 2 definitions in type refinement */ }]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unapply[A](a: @@[A, T]): Option[A]
-
def
unsubst[F[_], A](fa: F[@@[A, T]]): F[A]
-
def
unwrap[A](a: @@[A, T]): A
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Tag.of