Packages

final case class TracedT[W[_], A, B](run: W[(A) ⇒ B]) extends Product with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TracedT
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TracedT(run: W[(A) ⇒ B])

Value Members

  1. def cobind[C](f: (TracedT[W, A, B]) ⇒ C)(implicit W: Cobind[W], A: Semigroup[A]): TracedT[W, A, C]
  2. def contramap[C](f: (C) ⇒ A)(implicit W: Functor[W]): TracedT[W, C, B]
  3. def copoint(implicit W: Comonad[W], A: Monoid[A]): B
  4. def lower(implicit W: Functor[W], A: Monoid[A]): W[B]
  5. def map[C](f: (B) ⇒ C)(implicit W: Functor[W]): TracedT[W, A, C]
  6. val run: W[(A) ⇒ B]
  7. def trans[M[_]](f: ~>[W, M]): TracedT[M, A, B]