Packages

  • package root
    Definition Classes
    root
  • package nelson
    Definition Classes
    root
  • object Tag

    Copied, adapted, and minimized from Scalaz's Tag implementation.

    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

    Definition Classes
    nelson
  • TagOf
c

nelson.Tag

TagOf

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

Source
Tag.scala
See also

Tag.of

Linear Supertypes
FunctionK[Id, [α]AnyRef { ... /* 2 definitions in type refinement */ }], Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TagOf
  2. FunctionK
  3. Serializable
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. def and[H[_]](h: FunctionK[Id, H]): FunctionK[Id, [γ$4$]Tuple2K[[α]AnyRef { ... /* 2 definitions in type refinement */ }, H, γ$4$]]
    Definition Classes
    FunctionK
  2. def andThen[H[_]](f: FunctionK[[α]AnyRef { ... /* 2 definitions in type refinement */ }, H]): FunctionK[Id, H]
    Definition Classes
    FunctionK
  3. 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 → FunctionK
  4. def compose[E[_]](f: FunctionK[E, Id]): FunctionK[E, [α]AnyRef { ... /* 2 definitions in type refinement */ }]
    Definition Classes
    FunctionK
  5. def or[H[_]](h: FunctionK[H, [α]AnyRef { ... /* 2 definitions in type refinement */ }]): FunctionK[[γ$1$]EitherK[Id, H, γ$1$], [α]AnyRef { ... /* 2 definitions in type refinement */ }]
    Definition Classes
    FunctionK
  6. def subst[F[_], A](fa: F[A]): F[@@[A, T]]

    Like Tag.subst, but specify only the T.

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

    Like Tag.unwrap, but specify only the T.