TagOf

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def apply[A](a: A): @@[A, T]

Like Tag.apply, but specify only the T.
Like Tag.apply, but specify only the T.

Definition Classes
TagOf → NaturalTransformation
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compose[E[_]](f: ~>[E, Id.Id]): ~>[E, [α]AnyRef { ... /* 2 definitions in type refinement */ }]

Definition Classes
NaturalTransformation
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def onContra[FA](fa: FA)(implicit U: Unapply[Contravariant, FA]): M[@@[A, T]]

One variant of subst with different inference.
def onCov[FA](fa: FA)(implicit U: Unapply[Functor, FA]): M[@@[A, T]]

One variant of subst with different inference.
def onF[A, B](fa: (A) ⇒ B): (A) ⇒ @@[B, T]

Tag fa's return type.
Tag fa's return type. Allows inference of A to "flow through" from the enclosing context.
def subst[F[_], A](fa: F[A]): F[@@[A, T]]

Like Tag.subst, but specify only the T.
def subst1[F[_[_]], G[_]](fa: F[G]): F[[α]AnyRef { ... /* 2 definitions in type refinement */ }]

Like Tag.subst1, but specify only the T.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def unapply[A](a: @@[A, T]): Option[A]

Pattern match on a tagged value
def unsubst[F[_], A](fa: F[@@[A, T]]): F[A]

Like Tag.unsubst, but specify only the T.
def unwrap[A](a: @@[A, T]): A

Like Tag.unwrap, but specify only the T.
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package Tag

final class TagOf[T] extends ~>[Id.Id, [α]AnyRef { ... /* 2 definitions in type refinement */ }]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def apply[A](a: A): @@[A, T]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compose[E[_]](f: ~>[E, Id.Id]): ~>[E, [α]AnyRef { ... /* 2 definitions in type refinement */ }]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): 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

Inherited from NaturalTransformation[Id.Id, [α]AnyRef { ... /* 2 definitions in type refinement */ }]

Inherited from AnyRef

Inherited from Any

Ungrouped