final class TagOf[T] extends ~>[Id.Id, [α$0$]TagKind.@@[α$0$, T]]
- Source
- Tag.scala
- See also
Tag.of
- Alphabetic
- By Inheritance
- TagOf
- NaturalTransformation
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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 andThen[H[_]](f: ~>[[α$0$]TagKind.@@[α$0$, T], H]): ~>[Id.Id, H]
- Definition Classes
- NaturalTransformation
- def apply[A](a: A): @@[A, T]
Like
Tag.apply
, but specify only theT
.Like
Tag.apply
, but specify only theT
.- Definition Classes
- TagOf → NaturalTransformation
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compose[E[_]](f: ~>[E, Id.Id]): ~>[E, [α$0$]TagKind.@@[α$0$, T]]
- Definition Classes
- NaturalTransformation
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def narrow[FF[_]](implicit ev: <~~<[FF, Id.Id]): ~>[FF, [α$0$]TagKind.@@[α$0$, T]]
- Definition Classes
- NaturalTransformation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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 ofA
to "flow through" from the enclosing context. - def or[H[_]](hg: ~>[H, [α$0$]TagKind.@@[α$0$, T]]): ~>[[γ$0$]Coproduct[Id.Id, H, γ$0$], [α$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
- def subst[F[_], A](fa: F[A]): F[@@[A, T]]
Like
Tag.subst
, but specify only theT
. - def subst1[F[_[_]], G[_]](fa: F[G]): F[[α]TagKind.@@[G[α], T]]
Like
Tag.subst1
, but specify only theT
. - final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def unapply[A](a: @@[A, T]): Some[A]
Pattern match on a tagged value
- def unsubst[F[_], A](fa: F[@@[A, T]]): F[A]
Like
Tag.unsubst
, but specify only theT
. - def unsubst1[G[_], F[_[_]]](fa: F[[α]TagKind.@@[G[α], T]]): F[G]
Like
Tag.unsubst1
, but specify only theT
. - def unwrap[A](a: @@[A, T]): A
Like
Tag.unwrap
, but specify only theT
. - final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def widen[GG[_]](implicit ev: >~~>[GG, [α$0$]TagKind.@@[α$0$, T]]): ~>[Id.Id, GG]
- Definition Classes
- NaturalTransformation