Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def andThen[H[_]](f: ~>[[α$0$]TagKind.@@[α$0$, T], H]): ~>[Id.Id, H]

   Definition Classes

   NaturalTransformation

5.  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

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

8.  def compose[E[_]](f: ~>[E, Id.Id]): ~>[E, [α$0$]TagKind.@@[α$0$, T]]

   Definition Classes

   NaturalTransformation

9.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

10.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

11.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

13.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

14.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

15.  def narrow[FF[_]](implicit ev: <~~<[FF, Id.Id]): ~>[FF, [α$0$]TagKind.@@[α$0$, T]]

    Definition Classes

    NaturalTransformation

16.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

17.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

18.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

19.  def onContra[FA](fa: FA)(implicit U: Unapply[Contravariant, FA]): M[@@[A, T]]

    One variant of subst with different inference.

20.  def onCov[FA](fa: FA)(implicit U: Unapply[Functor, FA]): M[@@[A, T]]

    One variant of subst with different inference.

21.  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.

22.  def or[H[_]](hg: ~>[H, [α$0$]TagKind.@@[α$0$, T]]): ~>[[γ$1$]Coproduct[Id.Id, H, γ$1$], [α$0$]TagKind.@@[α$0$, T]]

    Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

    Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

    The current NaturalTransformation will be used to transform the Left (F) value of the scalaz.Coproduct while the other one will be used to transform the Right (H) value.

    Definition Classes

    NaturalTransformation

23.  def subst[F[_], A](fa: F[A]): F[@@[A, T]]

    Like Tag.subst, but specify only the T.

24.  def subst1[F[_[_]], G[_]](fa: F[G]): F[[α]TagKind.@@[G[α], T]]

    Like Tag.subst1, but specify only the T.

25.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

26.  def toString(): String

    Definition Classes

    AnyRef → Any

27.  def unapply[A](a: @@[A, T]): Option[A]

    Pattern match on a tagged value

28.  def unsubst[F[_], A](fa: F[@@[A, T]]): F[A]

    Like Tag.unsubst, but specify only the T.

29.  def unsubst1[G[_], F[_[_]]](fa: F[[α]TagKind.@@[G[α], T]]): F[G]

    Like Tag.unsubst1, but specify only the T.

30.  def unwrap[A](a: @@[A, T]): A

    Like Tag.unwrap, but specify only the T.

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

34.  def widen[GG[_]](implicit ev: >~~>[GG, [α$0$]TagKind.@@[α$0$, T]]): ~>[Id.Id, GG]

    Definition Classes

    NaturalTransformation