Packages

object Tag

Copied, adapted, and minimized from Scalaz's Tag implementation. https://github.com/scalaz/scalaz/blob/v7.1.17/core/src/main/scala/scalaz/Tag.scala

Source
Tag.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Tag
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

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

    See also

    Tag.of

Value Members

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

    subst specialized to Id.

    subst specialized to Id.

    Annotations
    @inline()
    To do

    According to Miles, @specialized doesn't help here. Maybe manually specialize.

  2. def of[T]: TagOf[T]

    Variants of apply, subst, and unsubst that require specifying the tag type but are more likely to infer the other type parameters.

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

    Add a tag T to A.

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

    Remove the tag T, leaving A.

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

    unsubst specialized to Id.

    unsubst specialized to Id.

    Annotations
    @inline()